Repository navigation

ConstructorReferenceAdmission: refuse unlisted call edges to a sealed constructor - #7859

Merged

briansrls merged 7 commits into

mainfrom

session/tidy-fox-81

Aug 6, 2026

Merged

ConstructorReferenceAdmission: refuse unlisted call edges to a sealed constructor#7859
briansrls merged 7 commits into
mainfrom
session/tidy-fox-81

Commits on Aug 5, 2026
- WIP: ConstructorReferenceAdmission: refuse unlisted call edges to a sealed co
  Brian Searls
  committed
  78bb074
- WIP: ConstructorReferenceAdmission: refuse unlisted call edges to a sealed co
  Brian Searls
  committed
  bf18b69
- Rebase on main and regen stage0 for ConstructorReferenceAdmission.
  
  Brian Searls
  and
  cursoragent
  committed
  3285bbe
- Import fn_admit_callers in infer_lookup and regen stage0.
  
  Brian Searls
  and
  cursoragent
  committed
  8eadda2
- Fix compile after ConstructorReferenceAdmissionViolation diagnostic.
  
  Brian Searls
  and
  cursoragent
  committed
  a22a960
- Register constructor admission witness in compiler_tests_rust.dag.
  
  Brian Searls
  and
  cursoragent
  committed
  defb3cc
- Rebase on main (#7860) and align lookup admission with infer authority
  
  Brian Searls
  and
  cursoragent
  committed
  5b4e7f3