diff options
| author | Michael Goulet <michael@errs.io> | 2023-05-08 09:30:21 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-08 09:30:21 -0700 |
| commit | 29ac429c9bd5f6aa5af8d2c04f3ef8732cd8bd15 (patch) | |
| tree | fb9a55891b26a4ce71e471cadc3a964959724ecf /compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp | |
| parent | fcb275f85e0e64bf3bb488cbd518bb085040c0cf (diff) | |
| parent | cd6dec33c2b484fbcb672cb1f80b68b602c1a6f1 (diff) | |
| download | rust-29ac429c9bd5f6aa5af8d2c04f3ef8732cd8bd15.tar.gz rust-29ac429c9bd5f6aa5af8d2c04f3ef8732cd8bd15.zip | |
Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors
Introduce `AliasKind::Inherent` for inherent associated types Allows us to check (possibly generic) inherent associated types for well-formedness. Type inference now also works properly. Follow-up to #105961. Supersedes #108430. Fixes #106722. Fixes #108957. Fixes #109768. Fixes #109789. Fixes #109790. ~Not to be merged before #108860 (`AliasKind::Weak`).~ CC `@jackh726` r? `@compiler-errors` `@rustbot` label T-types F-inherent_associated_types
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/PassWrapper.cpp')
0 files changed, 0 insertions, 0 deletions