Jonas Schievink 0cb46a9e8d Use body.block_scopes to validate inner items		2021-03-09 18:27:23 +01:00
..
decl_check	Remove unnecessary allocs in case_conv	2021-02-05 15:02:39 +01:00
decl_check.rs	Use body.block_scopes to validate inner items	2021-03-09 18:27:23 +01:00
expr.rs	Use chalk_ir::AdtId	2021-03-04 19:38:02 +01:00
match_check.rs	Use chalk_ir::AdtId	2021-03-04 19:38:02 +01:00
unsafe_check.rs	Introduce Ty::Alias	2021-03-01 14:24:00 +01:00