bors 1ca424ca43 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

2024-03-15 19:19:35 +00:00

..

src

Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr

2024-03-15 19:19:35 +00:00

Cargo.toml

bump itertools to 0.12

2024-03-08 12:34:05 +03:00

messages.ftl

make better async fn kind errors

2024-02-15 15:59:35 +00:00