-
Notifications
You must be signed in to change notification settings - Fork 13k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ICE: expected type differs from actual type
u16 / u32
#118778
Comments
expected type differs from actual type
u16 / u32
Backtrace
|
F-generic_const_items
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
trait Owner {
type T<const N: u16>;
}
impl Owner for () {
type T<const N: u32> = U32<{ N + 1 }>
where
U32<{ N + 1 }>:;
}
struct U32<const N: u32>;
fn take1(_: impl Owner<T<1> = U32<1>>) {}
fn main() {
take1(());
}
|
There is already an error that says expected u16, found u32, does it make sense to make the ice a delayed span bug? |
Potentially, yes. I'd need to look into the code a bit more to double-check if that'd make sense or if there's a better solution. |
@rustbot label: +I-ICE +T-compiler +C-bug +S-bug-has-test +requires-debug-assertions |
Code
Meta
rustc --version --verbose
:Error output
The text was updated successfully, but these errors were encountered: