crystal-lang · Aug 29, 2016 · Sep 1, 2016
Showing with 16 additions and 0 deletions.

+15 −0 spec/compiler/semantic/def_overload_spec.cr

+1 −0 src/compiler/crystal/semantic/restrictions.cr
diff --git a/spec/compiler/semantic/def_overload_spec.cr b/spec/compiler/semantic/def_overload_spec.cr
@@ -301,6 +301,21 @@ describe "Semantic: def overload" do
     ") { int32 }
   end
 
+  it "can call overload with aliased generic restriction" do
+    assert_type("
+      class Foo(T)
+      end
+
+      alias FooAlias = Foo
+
+      def foo(x : FooAlias(T))
+        1
+      end
+
+      foo(Foo(Int32).new)
+    ") { int32 }
+  end
+
   it "restrict matches to minimum necessary 1" do
     assert_type("
       def coco(x : Int, y); 1; end

diff --git a/src/compiler/crystal/semantic/restrictions.cr b/src/compiler/crystal/semantic/restrictions.cr
@@ -506,6 +506,7 @@ module Crystal
 
     def restrict(other : Generic, context)
       generic_type = context.defining_type.lookup_path other.name
+      generic_type = generic_type.remove_alias if generic_type.is_a? AliasType
       return super unless generic_type == self.generic_type
 
       generic_type = generic_type.as(GenericType)