Matthias Krüger 86304f5149 Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillot ... Prefer doc comments over `//`-comments in compiler Doc comments are generally nicer: they show up in the documentation, they are shown in IDEs when you hover other mentions of items, etc. Thus it makes sense to use them instead of `//`-comments.		2022-11-27 22:14:08 +01:00
..
check_consts	Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillot	2022-11-27 22:14:08 +01:00
mod.rs	Don't re-export MirPass	2021-11-29 12:58:15 -08:00
promote_consts.rs	remove 'delay_span_bug' following 'references_error'	2022-11-03 09:22:08 +08:00
validate.rs	Make the ICEs in the mir typechecker have more spans helpful	2022-11-25 08:01:12 +00:00