rfcbot

[ home ]

aliemjay's proposals for review

• merge: Allow coercions from never-type when ref binding is involved
  • proposal | checklist
• merge: Stabilize associated type position impl Trait (ATPIT)
  • proposal | checklist
• merge: Collect relevant item bounds from trait clauses for nested rigid projections
  • proposal | checklist
• close: Extra trait bound makes function body fail to typecheck
  • proposal | checklist
• merge: change method resolution to constrain hidden types instead of rejecting method candidates
  • proposal | checklist
• merge: Allow coercing functions whose signature differs in opaque types in their defining scope into a shared function pointer type
  • proposal | checklist
• merge: Do not try to reveal hidden types when trying to prove Freeze in the defining scope
  • proposal | checklist