Merge branch 'main' into raw-define

Author: coeff-aij

.github/workflows/ci.yml

@@ -1,4 +1,5 @@
 on:
+  pull_request:
   push:
 
 permissions: {}

src/analyze/crate_.rs

@@ -128,6 +128,31 @@ impl<'tcx, 'ctx> Analyzer<'tcx, 'ctx> {
                 .generic_args(generic_args)
                 .run(&expected);
         }
+
+        let mut args: Vec<mir_ty::GenericArg<'tcx>> = Vec::new();
+
+        let generics = self.tcx.generics_of(local_def_id);
+        for idx in 0..generics.count() {
+            let param = generics.param_at(idx, self.tcx);
+            let arg = match param.kind {
+                mir_ty::GenericParamDefKind::Type { .. } => {
+                    if constrained_params.contains(&param.index) {
+                        panic!(
+                            "unable to check generic function with constrained type parameter: {}",
+                            self.tcx.def_path_str(local_def_id)
+                        );
+                    }
+                    self.tcx.types.i32.into()
+                }
+                mir_ty::GenericParamDefKind::Const { .. } => {
+                    unimplemented!()
+                }
+                mir_ty::GenericParamDefKind::Lifetime { .. } => self.tcx.lifetimes.re_erased.into(),
+            };
+            args.push(arg);
+        }
+
+        self.tcx.mk_args(&args)
     }
 
     fn placeholder_generic_args(&self, local_def_id: LocalDefId) -> mir_ty::GenericArgsRef<'tcx> {