blob: 72cca99bc03d9f47d1c0e7e8fae2c15b0b0258dc (
plain) (
blame)
1
2
3
4
5
6
7
|
object A {
// The default getter must have an explicit return type (List[_] => Int)
// This wasn't happening since e28c3edda4. That commit encoded upper/lower
// bounds of Any/Nothing as EmptyTree, which were triggering an .isEmpty
// check in Namers#TypeTreeSubstituter
def x(f: List[_] => Int = _ => 3) = 9
}
|