rust/tests/ui/specialization/issue-38091-2.stderr

warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
  --> $DIR/issue-38091-2.rs:4:12
   |
LL | #![feature(specialization)]
   |            ^^^^^^^^^^^^^^
   |
   = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
   = help: consider using `min_specialization` instead, which is more stable and complete
   = note: `#[warn(incomplete_features)]` on by default

error[E0275]: overflow evaluating the requirement `i32: Check`
   |
note: required for `i32` to implement `Iterate<'_>`
  --> $DIR/issue-38091-2.rs:11:13
   |
LL | impl<'a, T> Iterate<'a> for T
   |             ^^^^^^^^^^^     ^
LL | where
LL |     T: Check,
   |        ----- unsatisfied trait bound introduced here

error: aborting due to previous error; 1 warning emitted

For more information about this error, try `rustc --explain E0275`.
bless all 2020-06-16 08:06:35 +00:00			warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
Avoid cycles from projection bounds Only check the own predicates of associated types when confirming projection candidates. Also consider implied bounds when comparing trait and impl methods. 2020-07-25 12:41:53 +00:00			`--> $DIR/issue-38091-2.rs:4:12`
bless all 2020-06-16 08:06:35 +00:00			`\|`
			`LL \| #![feature(specialization)]`
			`\| ^^^^^^^^^^^^^^`
			`\|`
			`= note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information`
Suggest minimal subset features in `incomplete_features` lint 2020-10-13 23:35:32 +00:00			= help: consider using `min_specialization` instead, which is more stable and complete
bless ui tests 2022-09-18 15:55:36 +00:00			= note: `#[warn(incomplete_features)]` on by default
bless all 2020-06-16 08:06:35 +00:00
Avoid cycles from projection bounds Only check the own predicates of associated types when confirming projection candidates. Also consider implied bounds when comparing trait and impl methods. 2020-07-25 12:41:53 +00:00			error[E0275]: overflow evaluating the requirement `i32: Check`
Check associated type satisfy their bounds This was currently only happening due to eager normalization, which isn't possible if there's specialization or bound variables. 2020-05-30 16:21:25 +00:00			`\|`
Always print '_, even for erased lifetimes. 2022-09-11 12:37:55 +00:00			note: required for `i32` to implement `Iterate<'_>`
Point at `impl` and type defs introducing requirements on E0277 2021-03-30 20:37:30 +00:00			`--> $DIR/issue-38091-2.rs:11:13`
			`\|`
			`LL \| impl<'a, T> Iterate<'a> for T`
			`\| ^^^^^^^^^^^ ^`
Note predicate span on ImplDerivedObligation 2023-01-11 03:21:11 +00:00			`LL \| where`
			`LL \| T: Check,`
			`\| ----- unsatisfied trait bound introduced here`
Check associated type satisfy their bounds This was currently only happening due to eager normalization, which isn't possible if there's specialization or bound variables. 2020-05-30 16:21:25 +00:00
Move bounds on associated types to the type Given `trait X { type U; }` the bound `<Self as X>::U` now lives on the type, rather than the trait. This is feature gated on `feature(generic_associated_types)` for now until more testing can be done. The also enabled type-generic associated types since we no longer need "implies bounds". 2020-06-11 15:50:34 +00:00			`error: aborting due to previous error; 1 warning emitted`
bless all 2020-06-16 08:06:35 +00:00
Check projections are well-formed when using projection candidates 2020-06-28 11:41:46 +00:00			For more information about this error, try `rustc --explain E0275`.