diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2022-07-14 19:24:04 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-14 19:24:04 +0530 |
| commit | ecae3d74e26b8f10322060954fbc2a6c4ba92402 (patch) | |
| tree | 22fce1b96af296f285880e54f300fa8c067cdadf /compiler/rustc_codegen_gcc/example/std_example.rs | |
| parent | 8c5c983e5bb491682b57a9bbe33be4f2b94fa2ec (diff) | |
| parent | 20fb8aba8f39e257e7003918f9a299633511511b (diff) | |
| download | rust-ecae3d74e26b8f10322060954fbc2a6c4ba92402.tar.gz rust-ecae3d74e26b8f10322060954fbc2a6c4ba92402.zip | |
Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr
Move abstract const to middle
Moves AbstractConst (and all associated methods) to rustc middle for use in `rustc_infer`.
This allows for const resolution in infer to use abstract consts to walk consts and check if
they are resolvable.
This attempts to resolve the issue where `Foo<{ concrete const }, generic T>` is incorrectly marked as conflicting, and is independent from the other issue where nested abstract consts must be resolved.
r? `@lcnr`
Diffstat (limited to 'compiler/rustc_codegen_gcc/example/std_example.rs')
0 files changed, 0 insertions, 0 deletions