Repository navigation

assumptions_on_binders: Test mixed ambiguous ORs - #163219

Merged

rust-bors[bot] merged 2 commits into

rust-lang:mainfrom

Dnreikronos:assumptions_on_binders/mixed_ambiguous_or_test

Oct 26, 2026

Merged

assumptions_on_binders: Test mixed ambiguous ORs#163219
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Dnreikronos:assumptions_on_binders/mixed_ambiguous_or_test

Commits on Oct 9, 2026
- Test mixed ambiguous ORs under assumptions on binders
  Dnreikronos
  committed
  fa63e12
Commits on Oct 17, 2026
- Combine mixed ambiguous OR test cases
  Dnreikronos
  committed
  ead3450