Matthias Krüger de4055f3f1 Rollup merge of #141363 - BoxyUwU:doc_lta_norm_binders, r=lcnr ... Document why we allow escaping bound vars in LTA norm r? lcnr followup from the const normalization PR. I think I now understand why free alias norm is funny about binders		2025-05-21 22:15:02 +02:00
..
src	Rollup merge of #141363 - BoxyUwU:doc_lta_norm_binders, r=lcnr	2025-05-21 22:15:02 +02:00
Cargo.toml	support duplicates in the opaque_types_storage	2025-05-06 14:59:09 +00:00
messages.ftl	Disarm time bomb (diagnostics)	2025-05-09 12:09:15 +02:00