blob: 14c7f746bef0c1d4b384decd70b13f011207d57b [file] [log] [blame]
fun foo()
fun @[a] foo()
fun @[a] T.foo()
fun @[a] T.foo(a : foo) : bar
fun @[a()] T.foo<T : (a) -> b>(a : foo) : bar
fun foo();
fun @[a] foo();
fun @[a] T.foo();
fun @[a] T.foo(a : foo) : bar;
fun @[a()] T.foo<T : (a) -> b>(a : foo) : bar;
fun foo() {}
fun @[a] foo() {}
fun @[a] T.foo() {}
fun @[a] T.foo(a : foo) : bar {}
fun @[a()] T.foo<T : (a) -> b>(a : foo) : bar {}
fun @[a()] T.foo<T : @[a] (a) -> b>(a : foo) : bar {}
fun A?.foo() : bar?
fun A? .foo() : bar?
fun foo() = 5