   // expected-note@-3 {{explicitly specify the generic arguments to fix this issue}} {{12-12=<<#A: ExpressibleByCatLiteral#>>}}
 }
 
-// https://bugs.swift.org/browse/SR-4379
+// https://github.com/apple/swift/issues/46958
 extension OuterGeneric.MidNonGeneric {
   func doStuff() -> OuterGeneric {
     return OuterGeneric()

  while true {}
}

func test() {
  let _: Claws<Kitten>.Fangs<Puppy> = pets(fur: Puppy())

  // <https://bugs.swift.org/browse/SR-5600>
  let _: Claws.Fangs<Puppy> = pets(fur: Puppy())
  let _: Claws.Fangs<Puppy> = Claws<Kitten>.Fangs()
  let _: Claws.Fangs<Puppy> = Claws.Fangs()

  }
}

// https://github.com/apple/swift/issues/46432
// Resolve members in inner types.
//
// This first extension isn't necessary; we could have put 'originalValue' in
// the original declaration.
extension OuterNonGenericClass.InnerNonGenericBase {
