mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rename RPITIT from opaque to synthetic

Browse Source
This commit is contained in:
Michael Goulet 2024-02-27 16:02:19 +00:00
parent b6e4299415
commit 1feef44daf
7 changed files with 14 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_hir/src/definitions.rs
View File

@ -420,7 +420,9 @@ impl DefPathData {
pub fn name(&self) -> DefPathDataName { pub fn name(&self) -> DefPathDataName {
use self::DefPathData::*; use self::DefPathData::*;
match *self { match *self {
TypeNs(name) if name == kw::Empty => DefPathDataName::Anon { namespace: sym::opaque }, TypeNs(name) if name == kw::Empty => {
DefPathDataName::Anon { namespace: sym::synthetic }
}
TypeNs(name) | ValueNs(name) | MacroNs(name) | LifetimeNs(name) => { TypeNs(name) | ValueNs(name) | MacroNs(name) | LifetimeNs(name) => {
DefPathDataName::Named(name) DefPathDataName::Named(name)
} }

1
compiler/rustc_span/src/symbol.rs
View File

@ -1690,6 +1690,7 @@ symbols! {
suggestion, suggestion,
sym, sym,
sync, sync,
synthetic,
t32, t32,
target, target,
target_abi, target_abi,

4
tests/ui/impl-trait/in-trait/async-and-ret-ref.stderr
View File

@ -1,10 +1,10 @@
error[E0310]: the associated type `<Self as MyTrait>::{opaque#0}` may not live long enough error[E0310]: the associated type `<Self as MyTrait>::{synthetic#0}` may not live long enough
--> $DIR/async-and-ret-ref.rs:7:5 --> $DIR/async-and-ret-ref.rs:7:5
| |
LL | async fn foo() -> &'static impl T; LL | async fn foo() -> &'static impl T;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| the associated type `<Self as MyTrait>::{opaque#0}` must be valid for the static lifetime... | the associated type `<Self as MyTrait>::{synthetic#0}` must be valid for the static lifetime...
| ...so that the reference type `&'static impl T` does not outlive the data it points at | ...so that the reference type `&'static impl T` does not outlive the data it points at
error: aborting due to 1 previous error error: aborting due to 1 previous error

4
tests/ui/impl-trait/in-trait/doesnt-satisfy.stderr
View File

@ -6,11 +6,11 @@ LL | fn bar() -> () {}
| |
= help: the trait `std::fmt::Display` is not implemented for `()` = help: the trait `std::fmt::Display` is not implemented for `()`
= note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead = note: in format strings you may be able to use `{:?}` (or {:#?} for pretty-print) instead
note: required by a bound in `Foo::{opaque#0}` note: required by a bound in `Foo::{synthetic#0}`
--> $DIR/doesnt-satisfy.rs:2:22 --> $DIR/doesnt-satisfy.rs:2:22
| |
LL | fn bar() -> impl std::fmt::Display; LL | fn bar() -> impl std::fmt::Display;
| ^^^^^^^^^^^^^^^^^ required by this bound in `Foo::{opaque#0}` | ^^^^^^^^^^^^^^^^^ required by this bound in `Foo::{synthetic#0}`
error: aborting due to 1 previous error error: aborting due to 1 previous error

4
tests/ui/impl-trait/in-trait/missing-static-bound-from-impl.stderr
View File

@ -1,10 +1,10 @@
error[E0310]: the associated type `<T as Original>::{opaque#0}` may not live long enough error[E0310]: the associated type `<T as Original>::{synthetic#0}` may not live long enough
--> $DIR/missing-static-bound-from-impl.rs:11:9 --> $DIR/missing-static-bound-from-impl.rs:11:9
| |
LL | Box::new(<T as Original>::f()) LL | Box::new(<T as Original>::f())
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| the associated type `<T as Original>::{opaque#0}` must be valid for the static lifetime... | the associated type `<T as Original>::{synthetic#0}` must be valid for the static lifetime...
| ...so that the type `impl Fn()` will meet its required lifetime bounds | ...so that the type `impl Fn()` will meet its required lifetime bounds
error: aborting due to 1 previous error error: aborting due to 1 previous error

4
tests/ui/impl-trait/in-trait/return-dont-satisfy-bounds.stderr
View File

@ -5,11 +5,11 @@ LL | fn foo<F2: Foo<u8>>(self) -> impl Foo<u8> {
| ^^^^^^^^^^^^ the trait `Foo<char>` is not implemented for `impl Foo<u8>` | ^^^^^^^^^^^^ the trait `Foo<char>` is not implemented for `impl Foo<u8>`
| |
= help: the trait `Foo<char>` is implemented for `Bar` = help: the trait `Foo<char>` is implemented for `Bar`
note: required by a bound in `Foo::{opaque#0}` note: required by a bound in `Foo::{synthetic#0}`
--> $DIR/return-dont-satisfy-bounds.rs:2:30 --> $DIR/return-dont-satisfy-bounds.rs:2:30
| |
LL | fn foo<F2>(self) -> impl Foo<T>; LL | fn foo<F2>(self) -> impl Foo<T>;
| ^^^^^^ required by this bound in `Foo::{opaque#0}` | ^^^^^^ required by this bound in `Foo::{synthetic#0}`
error[E0276]: impl has stricter requirements than trait error[E0276]: impl has stricter requirements than trait
--> $DIR/return-dont-satisfy-bounds.rs:8:16 --> $DIR/return-dont-satisfy-bounds.rs:8:16

4
tests/ui/rfcs/rfc-1937-termination-trait/issue-103052-2.stderr
View File

@ -4,11 +4,11 @@ error[E0277]: the trait bound `Something: Termination` is not satisfied
LL | fn main() -> Something { LL | fn main() -> Something {
| ^^^^^^^^^ the trait `Termination` is not implemented for `Something` | ^^^^^^^^^ the trait `Termination` is not implemented for `Something`
| |
note: required by a bound in `Main::{opaque#0}` note: required by a bound in `Main::{synthetic#0}`
--> $DIR/issue-103052-2.rs:5:27 --> $DIR/issue-103052-2.rs:5:27
| |
LL | fn main() -> impl std::process::Termination; LL | fn main() -> impl std::process::Termination;
| ^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Main::{opaque#0}` | ^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Main::{synthetic#0}`
error: aborting due to 1 previous error error: aborting due to 1 previous error