rfcbot

[ home ]

spastorino's proposals for review

• merge: Do not try to reveal hidden types when trying to prove Freeze in the defining scope
  • proposal | checklist
• merge: Allow coercing functions whose signature differs in opaque types in their defining scope into a shared function pointer type
  • proposal | checklist