sema: fix strict type aliases structure type will not collect the references of the types, such as builtin implementation of the map type when declared like type MyMap: map[int]int

Author: mertcandav

std/jule/sema/constraint.jule

@@ -77,7 +77,7 @@ impl constraintChecker {
 				generic.Constraint = make([]ConstraintMask, 0, len(g.Constraint.Mask))
 				for (_, mut mask) in g.Constraint.Mask {
 					n := len(sema.errors)
-					mut typ := sema.buildTypeWithRefers(mask.Type, sema, generics, nil)
+					mut typ := sema.buildTypeWithRefers(mask.Type, sema, generics, nil, nil)
 					if typ == nil {
 						mut itd, _ := mask.Type.Data.(&ast::NameExpr)
 						if itd != nil && isBuiltinConstraint(itd.Name) {

std/jule/sema/sema.jule

@@ -699,25 +699,32 @@ impl sema {
 
 	// Builds type, builds result as kind and collects referred type aliases.
 	fn buildTypeWithRefers(mut &self, mut t: &ast::Expr, mut l: Lookup,
-		mut generics: []&TypeAlias, mut referencer: &referencer): &Type {
-		ret self.typeChecker(l, generics, referencer).checkDecl(t)
+		mut generics: []&TypeAlias, mut referencer: &referencer, mut refers: &ReferenceStack): &Type {
+		mut tc := self.typeChecker(l, generics, referencer)
+		tc.refers = refers
+		ret tc.checkDecl(t)
 	}
 
 	// Checks TypeSYm, builds result as Type and collects referred type aliases.
 	// Skips already checked types.
 	// See also developer reference (9).
 	fn checkTypeSymWithRefers(mut &self, mut t: &TypeSym, mut l: Lookup, mut generics: []&TypeAlias, mut referencer: &referencer): (ok: bool) {
 		mut ta := false // Referencer owner is type alias.
+		let mut refers: &ReferenceStack
 		if t.checked() {
 			match type referencer.owner {
 			| &TypeAlias:
 				ta = true
+				mut typal := referencer.owner.(&TypeAlias)
+				if typal.Strict {
+					refers = typal.TypeSym.Type.SoftStruct().Refers
+				}
 			}
 			if !ta {
 				ret true
 			}
 		}
-		mut tt := self.buildTypeWithRefers(t.Decl, l, generics, referencer)
+		mut tt := self.buildTypeWithRefers(t.Decl, l, generics, referencer, refers)
 		if tt == nil || !ta {
 			t.Type = tt
 		} else {