about summary refs log tree commit diff
path: root/compiler/rustc_monomorphize/src/lib.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-03-15 19:19:35 +0000
committerbors <bors@rust-lang.org>2024-03-15 19:19:35 +0000
commit1ca424ca436d4d4449def39723c9ec442837c370 (patch)
treee157cdd502467b986bbe1129ceba0dc41127b2f5 /compiler/rustc_monomorphize/src/lib.rs
parent72d78970ec7cb5cdf210290835d9f71d4d6663e2 (diff)
parent04524c8f6aef8a8a1b3b80edb93815e86caeddfa (diff)
downloadrust-1ca424ca436d4d4449def39723c9ec442837c370.tar.gz
rust-1ca424ca436d4d4449def39723c9ec442837c370.zip
Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr
Consolidate WF for aliases

Make RPITs/TAITs/weak (type) aliases/projections all enforce:
1. their nominal predicates
2. their args are WF

This possibly does extra work, but is also nice for consistency sake.

r? lcnr
Diffstat (limited to 'compiler/rustc_monomorphize/src/lib.rs')
0 files changed, 0 insertions, 0 deletions