Consistent no-prelude attribute#501

aturon merged 2 commits intorust-lang:masterrust-lang/rfcs:masterfrom

Kimundi:consistent_no_prelude_attributeKimundi/rfcs:consistent_no_prelude_attributeCopy head branch name to clipboard