Repository navigation
ignored regions constraints when normalizing user-provided types #101350
Description
This compiles after full NLL (>= 1.63) but it shouldn't:
trait Trait {
type Ty;
}
impl Trait for &'static () {
type Ty = ();
}
fn extend<'a>() {
None::<<&'a () as Trait>::Ty>;
}HIR typeck unconditionally normalizes user-provided types modulo regions, so it's not NLL's fault this time :)
@rustbot label regression-from-stable-to-stable T-compiler T-types C-bug
Metadata
Metadata
Assignees
Labels
Category: This is a bug.High priorityStatus: This bug is tracked inside the repo by a `known-bug` test.Relevant to the compiler team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.Performance or correctness regression from one stable version to another.
Activity
apiraino commentedon Sep 6, 2022
bisection results seems to point to #95565 (quite big pack of changes) cc @jackh726
searched nightlies: from nightly-2022-05-01 to nightly-2022-09-05
regressed nightly: nightly-2022-06-08
searched commits: from 50b0025 to 5435ed6
regressed commit: bb55bd4
bisected with cargo-bisect-rustc v0.6.0
Host triple: x86_64-unknown-linux-gnu
Reproduce with:
jackh726 commentedon Sep 15, 2022
Going to nominate this for types team. This seems pretty rough, as it's a pretty simple repro. It would be nice to have someone look at this. Not sure if its implied bounds related or something else.
lcnr commentedon Sep 15, 2022
@rustbot claim
issue with user type annotations, going to take a look and try to fix this
apiraino commentedon Oct 5, 2022
WG-prioritization assigning priority (Zulip discussion).
@rustbot label -I-prioritize +P-high
jackh726 commentedon Oct 7, 2022
This is moving, unnominating.
aliemjay commentedon Oct 9, 2022
I'll have time after 2 days to finish the fix. @rustbot claim
lcnr commentedon Oct 21, 2022
fixing this should also close #54940.
Rollup merge of rust-lang#104181 - jackh726:known-bug-tests, r=Mark-S…
Auto merge of rust-lang#101947 - aliemjay:astconv-normalize, r=lcnr