Repository navigation

move Predicate and Clause into rustc_type_ir - #163985

Open

amirHdev wants to merge 10 commits into

rust-lang:mainfrom

amirHdev:uplift-predicate-clause

Open

move Predicate and Clause into rustc_type_ir#163985
amirHdev wants to merge 10 commits into
rust-lang:mainfrom
amirHdev:uplift-predicate-clause

Commits on Oct 14, 2026
- add Predicate and Clause wrappers to rustc_type_ir
  amirHdev
  committed
  694e509
- add shared Predicate and Clause operations
  amirHdev
  committed
  1706f5e
- add shared predicate folding and supertrait instantiation
  amirHdev
  committed
  6ff628a
- use shared Predicate and Clause representations in rustc
  amirHdev
  committed
  675bbcf
- simplify predicate encoding and decoding
  amirHdev
  committed
  63ae49e
- derive GenericTypeVisitable for predicates and clauses
  amirHdev
  committed
  d2c6abf
- remove the redundant predicate interner abstraction
  amirHdev
  committed
  fb3b421
- simplify predicate codec forwarding
  amirHdev
  committed
  1d07e2f
- adapt transmutability goals to shared predicates
  amirHdev
  committed
  9028ddd
- use explicit imports for shared predicates
  amirHdev
  committed
  992c0c7