Deadbeef 2931a9df2f make check less conservative and add explanation		2021-08-13 09:28:52 +00:00
..
traits	make check less conservative and add explanation	2021-08-13 09:28:52 +00:00
autoderef.rs	Combine individual limit queries into single limits query	2021-07-04 13:02:51 -05:00
infer.rs	Add initial implementation of HIR-based WF checking for diagnostics	2021-07-16 16:29:02 -05:00
lib.rs	Refactor vtable format.	2021-07-20 22:14:42 +08:00
opaque_types.rs	Don't collect into a Vec that is immediately being iterated on again.	2021-08-10 11:03:10 +00:00