Matthias Krüger 68f12338af Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 ... Remove double spaces after dots in comments Most of the comments do not have double spaces, so I assume these are typos.		2023-01-17 20:21:25 +01:00
..
const_eval	Remove double spaces after dots in comments	2023-01-17 08:09:33 +00:00
interpret	Remove double spaces after dots in comments	2023-01-17 08:09:33 +00:00
transform	Avoid trivial checks on cleanup control flow in MIR validator	2023-01-16 15:01:16 -08:00
util	Assert defining anchor is set in take_opaque_types	2023-01-09 18:14:28 +00:00
errors.rs	Migrate all diagnostics	2022-10-23 10:09:44 +02:00
lib.rs	attempt to make a minimal example work	2023-01-12 02:28:37 +00:00