Ralf Jung 0bcc96dd3d Rollup merge of #76641 - nox:pointee-random-stuff, r=eddyb ... Some cleanup changes and commenting r? @nikomatsakis Cc @eddyb		2020-09-16 08:25:00 +02:00
..
db.rs	Clean up some language trait items comparisons	2020-09-12 18:35:57 +02:00
lowering.rs	Remove def_id field from ParamEnv	2020-09-09 10:14:31 +02:00
mod.rs	Remove def_id field from ParamEnv	2020-09-09 10:14:31 +02:00