a-mir-formality icon indicating copy to clipboard operation
a-mir-formality copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

Check well-formedness of the types of `LocalDecls` in MIR

Open nikomatsakis opened this issue 3 years ago • 0 comments

On #77, @voidc and I were discussing how we need to check the well-formedness of local variables during MIR type check, but we decided to hold off because of ongoing work about how to best represent well-formedness goals and the like.

nikomatsakis avatar Jul 08 '22 12:07 nikomatsakis