Make candidate resolver force-resolve type arguments on argument count mismatch

This commit is contained in:
Andrey Breslav
2014-11-07 23:43:05 +02:00
parent 4892369cf4
commit 19afb2fcb8
3 changed files with 10 additions and 5 deletions
@@ -6,4 +6,4 @@ class Client<T: Data, X> where X: Data {
}
val c = Client<Data>()
val c = Client<Data/*, [ERROR]*/>()
@@ -1,4 +1,4 @@
Type constraint (5: 17) class Client<T: Data, X> where X: Data {
Type constraint (5: 35) class Client<T: Data, X> where X: Data {
Type parameter (9: 16) val c = Client<Data>()
Type parameter (9: 16) val c = Client<Data/*, [ERROR]*/>()
Usage in import (3: 15) import server.Data