356abe3a5b ^
c26a8db067 ^
1 2 3 4 5 6
7
8 9 10
11
trait C { def m[T]: T } object Test { val o /*: C --> no crash*/ = new C { def m[T]: Nothing /*: T --> no crash*/ = sys.error("omitted") } o.m[Nothing] }