languages/rust
languages/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust synced 2024-10-01 14:25:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rollup merge of #107857 - GuillaumeGomez:ui-test-impl-projections, r=oli-obk

Browse source 
Add ui test for implementation on projection

The error in full can be seen in https://github.com/rust-lang/rust/pull/107263 and is part of why the PR is blocked (it still requires the approval from the team for supporting it).

r? ``@oli-obk``
This commit is contained in:
Dylan DPC 2023-02-11 11:15:56 +05:30 committed by GitHub
parent 27454012c1 a03da2bdeb
commit 2228c86bad
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 30 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
tests/ui/const-generics/wrong-normalization.rs Normal file
View file

@ -0,0 +1,19 @@
// This test ensures that if implementation on projections is supported,
// it doesn't end in very weird cycle error.
#![crate_type = "lib"]
pub trait Identity {
type Identity: ?Sized;
}
impl<T: ?Sized> Identity for T {
type Identity = Self;
}
pub struct I8<const F: i8>;
impl <I8<{i8::MIN}> as Identity>::Identity {
//~^ ERROR no nominal type found for inherent implementation
pub fn foo(&self) {}
}

11
tests/ui/const-generics/wrong-normalization.stderr Normal file
View file

@ -0,0 +1,11 @@
error[E0118]: no nominal type found for inherent implementation
--> $DIR/wrong-normalization.rs:16:6
|
LL | impl <I8<{i8::MIN}> as Identity>::Identity {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ impl requires a nominal type
|
= note: either implement a trait on it or create a newtype to wrap it instead
error: aborting due to previous error
For more information about this error, try `rustc --explain E0118`.