86e6e9290a ^
f4267ccd96 ^
1 2 3
4
5 6 7
object Test { // if the following line is uncommented, things compile // type X = Foo.Values def foo(f: Foo) = f.bar(0 /* : Foo.Values */) }