blob: f89d389d726cbc9f050bf53aef3464d898a8a4de [file] [log] [blame]
extension type E1(Never foo) {}
extension type E2<X extends Never>(X foo) {}
extension type E3<X extends Y, Y extends Never>(X foo) {}