Agus Zubiaga 762799052e Merge branch 'main' into typecheck-module-params		2024-08-07 18:55:33 -03:00
..
solve	Add module param identifiers to solve's scope	2024-07-02 04:10:45 -03:00
ability.rs	Clean up more unused Nat stuff	2024-01-26 16:23:21 -05:00
aliases.rs	Break up SolveEnv	2023-07-12 13:53:51 -05:00
deep_copy.rs	Content variant ErasedLambda	2023-07-12 13:57:17 -05:00
env.rs	Fix types	2023-07-17 10:10:50 -05:00
kinds.rs	Make sure FunctionKind is determined in all entry points	2024-07-07 16:01:14 -05:00
lib.rs	freshen annotations	2023-07-24 21:24:33 +02:00
module.rs	Fix importing of module params vars	2024-07-02 22:48:47 -03:00
pools.rs	auto clippy fixes	2023-07-10 18:27:08 +02:00
solve.rs	Always use "MODULE PARAMS" term in errors	2024-07-06 22:07:29 -03:00
specialize.rs	Make sure late specializations of opaques inherit Inspect as needed	2023-11-30 22:25:08 -06:00
to_var.rs	clippy	2024-04-15 16:50:44 +02:00