check for ==
check for ==
for @FroMage
for @FroMage
fix bug in type arg inference for recursive generic function calls
found by John Vasileff
eliminate dupe error
implement #1122
Conflicts:
	test/main/constructors/instantiation.ceylon
add a test
another test
update spec for #1122
Fix typo in test

Introduced in 9b12d8b.
Merge pull request #1137 from lucaswerkmeister/patch-1

Fix typo in test
fix #1136 fill in some missing checks with shortcut refinement syntax
Merge branch 'master' into 74
fix impl of #74, don't use subtraction