rfcbot

[ home ]

BoxyUwU's proposals for review

• merge: change method resolution to constrain hidden types instead of rejecting method candidates
  • proposal | checklist
• merge: Do not try to reveal hidden types when trying to prove Freeze in the defining scope
  • proposal | checklist