frontend: Add Assoc type

dora-frontend/src/aliasck.rs

@@ -132,7 +132,7 @@ fn expand_type(
         | SourceType::This
         | SourceType::TypeParam(..) => ty,
 
-        SourceType::Any | SourceType::Ptr => {
+        SourceType::Assoc(..) | SourceType::Any | SourceType::Ptr => {
             panic!("unexpected type = {:?}", ty);
         }
     }

dora-frontend/src/extensiondefck.rs

@@ -77,6 +77,7 @@ pub fn package_for_type(sa: &Sema, ty: SourceType) -> Option<PackageDefinitionId
         SourceType::Enum(id, ..) => Some(sa.enum_(id).package_id),
         SourceType::TraitObject(id, ..) => Some(sa.trait_(id).package_id),
         SourceType::Alias(id, ..) => Some(sa.alias(id).package_id),
+        SourceType::Assoc(..) => unimplemented!(),
     }
 }
 
@@ -100,7 +101,7 @@ impl<'x> ExtensionCheck<'x> {
                 );
             }
             SourceType::Alias(..) => unimplemented!(),
-            SourceType::Any | SourceType::Ptr | SourceType::This => {
+            SourceType::Any | SourceType::Ptr | SourceType::This | SourceType::Assoc(..) => {
                 unreachable!()
             }
             SourceType::Error
@@ -237,7 +238,7 @@ fn discover_type_params(sa: &Sema, ty: SourceType, used_type_params: &mut FixedB
         SourceType::TypeParam(tp_id) => {
             used_type_params.insert(tp_id.index());
         }
-        SourceType::Alias(..) => unreachable!(),
+        SourceType::Alias(..) | SourceType::Assoc(..) => unreachable!(),
     }
 }
 

dora-frontend/src/impldefck.rs

@@ -16,7 +16,7 @@ pub fn check_definition(sa: &Sema) {
 fn check_impl_definition(sa: &Sema, impl_: &ImplDefinition) {
     match impl_.extended_ty() {
         SourceType::Alias(..) => unimplemented!(),
-        SourceType::Any | SourceType::Ptr | SourceType::This => {
+        SourceType::Any | SourceType::Ptr | SourceType::This | SourceType::Assoc(..) => {
             unreachable!()
         }
         SourceType::Error
@@ -326,7 +326,7 @@ fn trait_and_impl_arg_ty_compatible(
         | SourceType::Float64
         | SourceType::Error => trait_arg_ty == impl_arg_ty,
 
-        SourceType::Any | SourceType::Ptr => unreachable!(),
+        SourceType::Any | SourceType::Ptr | SourceType::Assoc(..) => unreachable!(),
     }
 }
 

dora-frontend/src/parsety.rs

@@ -661,7 +661,7 @@ fn check_type_inner(
     parsed_ty: &ParsedTypeAst,
 ) -> SourceType {
     match ty.clone() {
-        SourceType::Any | SourceType::Ptr => {
+        SourceType::Any | SourceType::Ptr | SourceType::Assoc(..) => {
             unreachable!()
         }
         SourceType::This => SourceType::This,
@@ -1172,7 +1172,7 @@ fn expand_st(
         | SourceType::TypeParam(..) => ty,
         SourceType::This => replace_self.expect("self expected"),
 
-        SourceType::Any | SourceType::Ptr => {
+        SourceType::Any | SourceType::Ptr | SourceType::Assoc(..) => {
             panic!("unexpected type = {:?}", ty);
             // unreachable!()
         }

dora-frontend/src/sema/impl_matching.rs

@@ -61,7 +61,7 @@ pub fn implements_trait(
 
         SourceType::TypeParam(tp_id) => check_type_param_defs.implements_trait(tp_id, trait_ty),
 
-        SourceType::Alias(..) => unreachable!(),
+        SourceType::Alias(..) | SourceType::Assoc(..) => unreachable!(),
 
         SourceType::Error => false,
 

dora-frontend/src/sema/matching.rs

@@ -223,7 +223,7 @@ fn match_concrete_types(
             _ => false,
         },
 
-        SourceType::Alias(..) => {
+        SourceType::Alias(..) | SourceType::Assoc(..) => {
             unimplemented!()
         }
 

dora-frontend/src/specialize.rs

@@ -86,7 +86,7 @@ pub fn replace_type(
         | SourceType::Float64
         | SourceType::Error => ty,
 
-        SourceType::Any | SourceType::Ptr => unreachable!(),
+        SourceType::Any | SourceType::Ptr | SourceType::Assoc(..) => unreachable!(),
     }
 }
 
@@ -170,7 +170,7 @@ pub fn specialize_for_element(
         | SourceType::Float64
         | SourceType::Error => ty,
 
-        SourceType::Any | SourceType::Ptr => unreachable!(),
+        SourceType::Any | SourceType::Ptr | SourceType::Assoc(..) => unreachable!(),
     }
 }
 
@@ -253,7 +253,7 @@ pub fn specialize_for_trait_object(sa: &Sema, ty: SourceType, trait_ty: SourceTy
         | SourceType::Float64
         | SourceType::Error => ty,
 
-        SourceType::Any | SourceType::Ptr => unreachable!(),
+        SourceType::Any | SourceType::Ptr | SourceType::Assoc(..) => unreachable!(),
     }
 }
 

dora-frontend/src/ty.rs

@@ -100,6 +100,7 @@ pub enum TyKind {
     TraitObject,
     TypeParam,
     Alias,
+    Assoc,
     Lambda,
     Enum,
 }
@@ -147,6 +148,7 @@ pub enum SourceType {
 
     // Type alias.
     Alias(AliasDefinitionId, SourceTypeArray),
+    Assoc(AliasDefinitionId, SourceTypeArray),
 
     // some lambda
     Lambda(SourceTypeArray, Box<SourceType>),
@@ -177,6 +179,7 @@ impl SourceType {
             SourceType::Enum(..) => TyKind::Enum,
             SourceType::Class(..) => TyKind::Class,
             SourceType::Unit | SourceType::Tuple(..) => TyKind::Tuple,
+            SourceType::Assoc(..) => TyKind::Assoc,
         }
     }
 
@@ -538,6 +541,8 @@ impl SourceType {
                 //                             sub class for return type
                 *self == other
             }
+
+            SourceType::Assoc(..) => unimplemented!(),
         }
     }
 
@@ -555,7 +560,7 @@ impl SourceType {
             | SourceType::TraitObject(..)
             | SourceType::Lambda(..)
             | SourceType::TypeParam(_) => true,
-            SourceType::Alias(..) => unreachable!(),
+            SourceType::Alias(..) | SourceType::Assoc(..) => unreachable!(),
             SourceType::Enum(_, params)
             | SourceType::Class(_, params)
             | SourceType::Struct(_, params) => {
@@ -637,7 +642,7 @@ impl SourceType {
 
                 return_type.is_concrete_type()
             }
-            SourceType::TypeParam(_) => false,
+            SourceType::TypeParam(_) | SourceType::Assoc(..) => false,
         }
     }
 }
@@ -656,7 +661,7 @@ pub fn contains_self(sa: &Sema, ty: SourceType) -> bool {
         | SourceType::Float32
         | SourceType::Float64
         | SourceType::TypeParam(..) => false,
-        SourceType::Alias(..) => unimplemented!(),
+        SourceType::Alias(..) | SourceType::Assoc(..) => unimplemented!(),
         SourceType::Class(_, params)
         | SourceType::Enum(_, params)
         | SourceType::Struct(_, params) => {
@@ -1023,6 +1028,7 @@ impl<'a> SourceTypePrinter<'a> {
                     format!("{}[{}]", name, params)
                 }
             }
+            SourceType::Assoc(..) => unimplemented!(),
         }
     }
 }

dora-frontend/src/typeck/function.rs

@@ -578,6 +578,8 @@ fn arg_allows(sa: &Sema, def: SourceType, arg: SourceType, self_ty: Option<Sourc
             let alias = sa.alias(id);
             arg_allows(sa, alias.ty(), arg, self_ty.clone())
         }
+
+        SourceType::Assoc(..) => unimplemented!(),
     }
 }