Update stderr files with --bless

This commit is contained in:
sd234678 2019-08-09 18:43:30 +01:00
parent 56ebd57960
commit b7b4c3a9aa
12 changed files with 61 additions and 61 deletions

View File

@ -1,5 +1,5 @@
error[E0308]: mismatched types error[E0308]: mismatched types
--> $DIR/associated-type-projection-from-supertrait.rs:33:23 --> $DIR/associated-type-projection-from-supertrait.rs:27:23
| |
LL | fn b() { dent(ModelT, Blue); } LL | fn b() { dent(ModelT, Blue); }
| ^^^^ expected struct `Black`, found struct `Blue` | ^^^^ expected struct `Black`, found struct `Blue`
@ -8,7 +8,7 @@ LL | fn b() { dent(ModelT, Blue); }
found type `Blue` found type `Blue`
error[E0308]: mismatched types error[E0308]: mismatched types
--> $DIR/associated-type-projection-from-supertrait.rs:34:23 --> $DIR/associated-type-projection-from-supertrait.rs:28:23
| |
LL | fn c() { dent(ModelU, Black); } LL | fn c() { dent(ModelU, Black); }
| ^^^^^ expected struct `Blue`, found struct `Black` | ^^^^^ expected struct `Blue`, found struct `Black`
@ -17,7 +17,7 @@ LL | fn c() { dent(ModelU, Black); }
found type `Black` found type `Black`
error[E0308]: mismatched types error[E0308]: mismatched types
--> $DIR/associated-type-projection-from-supertrait.rs:40:28 --> $DIR/associated-type-projection-from-supertrait.rs:32:28
| |
LL | fn f() { ModelT.chip_paint(Blue); } LL | fn f() { ModelT.chip_paint(Blue); }
| ^^^^ expected struct `Black`, found struct `Blue` | ^^^^ expected struct `Black`, found struct `Blue`
@ -26,7 +26,7 @@ LL | fn f() { ModelT.chip_paint(Blue); }
found type `Blue` found type `Blue`
error[E0308]: mismatched types error[E0308]: mismatched types
--> $DIR/associated-type-projection-from-supertrait.rs:41:28 --> $DIR/associated-type-projection-from-supertrait.rs:33:28
| |
LL | fn g() { ModelU.chip_paint(Black); } LL | fn g() { ModelU.chip_paint(Black); }
| ^^^^^ expected struct `Blue`, found struct `Black` | ^^^^^ expected struct `Blue`, found struct `Black`

View File

@ -1,5 +1,5 @@
error[E0271]: type mismatch resolving `<ModelT as Vehicle>::Color == Blue` error[E0271]: type mismatch resolving `<ModelT as Vehicle>::Color == Blue`
--> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:37:10 --> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:31:10
| |
LL | fn b() { blue_car(ModelT); } LL | fn b() { blue_car(ModelT); }
| ^^^^^^^^ expected struct `Black`, found struct `Blue` | ^^^^^^^^ expected struct `Black`, found struct `Blue`
@ -7,13 +7,13 @@ LL | fn b() { blue_car(ModelT); }
= note: expected type `Black` = note: expected type `Black`
found type `Blue` found type `Blue`
note: required by `blue_car` note: required by `blue_car`
--> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:33:1 --> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:27:1
| |
LL | fn blue_car<C:Car<Color=Blue>>(c: C) { LL | fn blue_car<C:Car<Color=Blue>>(c: C) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error[E0271]: type mismatch resolving `<ModelU as Vehicle>::Color == Black` error[E0271]: type mismatch resolving `<ModelU as Vehicle>::Color == Black`
--> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:38:10 --> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:32:10
| |
LL | fn c() { black_car(ModelU); } LL | fn c() { black_car(ModelU); }
| ^^^^^^^^^ expected struct `Blue`, found struct `Black` | ^^^^^^^^^ expected struct `Blue`, found struct `Black`
@ -21,7 +21,7 @@ LL | fn c() { black_car(ModelU); }
= note: expected type `Blue` = note: expected type `Blue`
found type `Black` found type `Black`
note: required by `black_car` note: required by `black_car`
--> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:30:1 --> $DIR/associated-types-binding-to-type-defined-in-supertrait.rs:24:1
| |
LL | fn black_car<C:Car<Color=Black>>(c: C) { LL | fn black_car<C:Car<Color=Black>>(c: C) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

View File

@ -1,5 +1,5 @@
error[E0277]: the trait bound `for<'a, 'b> SomeStruct: Foo<(&'a isize, &'b isize)>` is not satisfied error[E0277]: the trait bound `for<'a, 'b> SomeStruct: Foo<(&'a isize, &'b isize)>` is not satisfied
--> $DIR/hrtb-conflate-regions.rs:28:10 --> $DIR/hrtb-conflate-regions.rs:27:10
| |
LL | fn b() { want_foo2::<SomeStruct>(); } LL | fn b() { want_foo2::<SomeStruct>(); }
| ^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a, 'b> Foo<(&'a isize, &'b isize)>` is not implemented for `SomeStruct` | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a, 'b> Foo<(&'a isize, &'b isize)>` is not implemented for `SomeStruct`

View File

@ -7,7 +7,7 @@ LL | #![feature(impl_trait_in_bindings)]
= note: `#[warn(incomplete_features)]` on by default = note: `#[warn(incomplete_features)]` on by default
error[E0271]: type mismatch resolving `<Foo<()> as FooLike>::Output == <T as impl_trait::Trait>::Assoc` error[E0271]: type mismatch resolving `<Foo<()> as FooLike>::Output == <T as impl_trait::Trait>::Assoc`
--> $DIR/bound-normalization-fail.rs:30:32 --> $DIR/bound-normalization-fail.rs:29:32
| |
LL | fn foo_fail<T: Trait>() -> impl FooLike<Output=T::Assoc> { LL | fn foo_fail<T: Trait>() -> impl FooLike<Output=T::Assoc> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found associated type | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found associated type
@ -17,13 +17,13 @@ LL | fn foo_fail<T: Trait>() -> impl FooLike<Output=T::Assoc> {
= note: the return type of a function must have a statically known size = note: the return type of a function must have a statically known size
error: `impl Trait` return type cannot contain a projection or `Self` that references lifetimes from a parent scope error: `impl Trait` return type cannot contain a projection or `Self` that references lifetimes from a parent scope
--> $DIR/bound-normalization-fail.rs:47:41 --> $DIR/bound-normalization-fail.rs:45:41
| |
LL | fn foo2_fail<'a, T: Trait<'a>>() -> impl FooLike<Output=T::Assoc> { LL | fn foo2_fail<'a, T: Trait<'a>>() -> impl FooLike<Output=T::Assoc> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error[E0271]: type mismatch resolving `<Foo<()> as FooLike>::Output == <T as lifetimes::Trait<'static>>::Assoc` error[E0271]: type mismatch resolving `<Foo<()> as FooLike>::Output == <T as lifetimes::Trait<'static>>::Assoc`
--> $DIR/bound-normalization-fail.rs:47:41 --> $DIR/bound-normalization-fail.rs:45:41
| |
LL | fn foo2_fail<'a, T: Trait<'a>>() -> impl FooLike<Output=T::Assoc> { LL | fn foo2_fail<'a, T: Trait<'a>>() -> impl FooLike<Output=T::Assoc> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found associated type | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found associated type

View File

@ -1,5 +1,5 @@
error[E0284]: type annotations required: cannot resolve `<_ as StreamHasher>::S == <H as StreamHasher>::S` error[E0284]: type annotations required: cannot resolve `<_ as StreamHasher>::S == <H as StreamHasher>::S`
--> $DIR/issue-12028.rs:29:14 --> $DIR/issue-12028.rs:27:14
| |
LL | self.input_stream(&mut stream); LL | self.input_stream(&mut stream);
| ^^^^^^^^^^^^ | ^^^^^^^^^^^^

View File

@ -1,33 +1,33 @@
error[E0491]: in type `&'a WithHrAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references error[E0491]: in type `&'a WithHrAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references
--> $DIR/regions-outlives-projection-container-hrtb.rs:35:12 --> $DIR/regions-outlives-projection-container-hrtb.rs:30:12
| |
LL | let _: &'a WithHrAssoc<TheType<'b>> = loop { }; LL | let _: &'a WithHrAssoc<TheType<'b>> = loop { };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
note: the pointer is valid for the lifetime 'a as defined on the function body at 32:15 note: the pointer is valid for the lifetime 'a as defined on the function body at 27:15
--> $DIR/regions-outlives-projection-container-hrtb.rs:32:15 --> $DIR/regions-outlives-projection-container-hrtb.rs:27:15
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| ^^ | ^^
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 32:18 note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 27:18
--> $DIR/regions-outlives-projection-container-hrtb.rs:32:18 --> $DIR/regions-outlives-projection-container-hrtb.rs:27:18
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| ^^ | ^^
error[E0491]: in type `&'a WithHrAssocSub<TheType<'b>>`, reference has a longer lifetime than the data it references error[E0491]: in type `&'a WithHrAssocSub<TheType<'b>>`, reference has a longer lifetime than the data it references
--> $DIR/regions-outlives-projection-container-hrtb.rs:57:12 --> $DIR/regions-outlives-projection-container-hrtb.rs:50:12
| |
LL | let _: &'a WithHrAssocSub<TheType<'b>> = loop { }; LL | let _: &'a WithHrAssocSub<TheType<'b>> = loop { };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
note: the pointer is valid for the lifetime 'a as defined on the function body at 53:19 note: the pointer is valid for the lifetime 'a as defined on the function body at 46:19
--> $DIR/regions-outlives-projection-container-hrtb.rs:53:19 --> $DIR/regions-outlives-projection-container-hrtb.rs:46:19
| |
LL | fn with_assoc_sub<'a,'b>() { LL | fn with_assoc_sub<'a,'b>() {
| ^^ | ^^
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 53:22 note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 46:22
--> $DIR/regions-outlives-projection-container-hrtb.rs:53:22 --> $DIR/regions-outlives-projection-container-hrtb.rs:46:22
| |
LL | fn with_assoc_sub<'a,'b>() { LL | fn with_assoc_sub<'a,'b>() {
| ^^ | ^^

View File

@ -1,5 +1,5 @@
error: lifetime may not live long enough error: lifetime may not live long enough
--> $DIR/regions-outlives-projection-container-hrtb.rs:35:12 --> $DIR/regions-outlives-projection-container-hrtb.rs:30:12
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| -- -- lifetime `'b` defined here | -- -- lifetime `'b` defined here
@ -10,7 +10,7 @@ LL | let _: &'a WithHrAssoc<TheType<'b>> = loop { };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a` | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'b` must outlive `'a`
error: lifetime may not live long enough error: lifetime may not live long enough
--> $DIR/regions-outlives-projection-container-hrtb.rs:57:12 --> $DIR/regions-outlives-projection-container-hrtb.rs:50:12
| |
LL | fn with_assoc_sub<'a,'b>() { LL | fn with_assoc_sub<'a,'b>() {
| -- -- lifetime `'b` defined here | -- -- lifetime `'b` defined here

View File

@ -1,16 +1,16 @@
error[E0491]: in type `&'a WithAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references error[E0491]: in type `&'a WithAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references
--> $DIR/regions-outlives-projection-container-wc.rs:37:12 --> $DIR/regions-outlives-projection-container-wc.rs:33:12
| |
LL | let _: &'a WithAssoc<TheType<'b>> = loop { }; LL | let _: &'a WithAssoc<TheType<'b>> = loop { };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
note: the pointer is valid for the lifetime 'a as defined on the function body at 31:15 note: the pointer is valid for the lifetime 'a as defined on the function body at 27:15
--> $DIR/regions-outlives-projection-container-wc.rs:31:15 --> $DIR/regions-outlives-projection-container-wc.rs:27:15
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| ^^ | ^^
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 31:18 note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 27:18
--> $DIR/regions-outlives-projection-container-wc.rs:31:18 --> $DIR/regions-outlives-projection-container-wc.rs:27:18
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| ^^ | ^^

View File

@ -1,5 +1,5 @@
error: lifetime may not live long enough error: lifetime may not live long enough
--> $DIR/regions-outlives-projection-container-wc.rs:37:12 --> $DIR/regions-outlives-projection-container-wc.rs:33:12
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| -- -- lifetime `'b` defined here | -- -- lifetime `'b` defined here

View File

@ -1,67 +1,67 @@
error[E0491]: in type `&'a WithAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references error[E0491]: in type `&'a WithAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references
--> $DIR/regions-outlives-projection-container.rs:40:13 --> $DIR/regions-outlives-projection-container.rs:36:13
| |
LL | let _x: &'a WithAssoc<TheType<'b>> = loop { }; LL | let _x: &'a WithAssoc<TheType<'b>> = loop { };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
note: the pointer is valid for the lifetime 'a as defined on the function body at 32:15 note: the pointer is valid for the lifetime 'a as defined on the function body at 28:15
--> $DIR/regions-outlives-projection-container.rs:32:15 --> $DIR/regions-outlives-projection-container.rs:28:15
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| ^^ | ^^
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 32:18 note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 28:18
--> $DIR/regions-outlives-projection-container.rs:32:18 --> $DIR/regions-outlives-projection-container.rs:28:18
| |
LL | fn with_assoc<'a,'b>() { LL | fn with_assoc<'a,'b>() {
| ^^ | ^^
error[E0491]: in type `&'a WithoutAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references error[E0491]: in type `&'a WithoutAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references
--> $DIR/regions-outlives-projection-container.rs:58:13 --> $DIR/regions-outlives-projection-container.rs:54:13
| |
LL | let _x: &'a WithoutAssoc<TheType<'b>> = loop { }; LL | let _x: &'a WithoutAssoc<TheType<'b>> = loop { };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
note: the pointer is valid for the lifetime 'a as defined on the function body at 54:18 note: the pointer is valid for the lifetime 'a as defined on the function body at 50:18
--> $DIR/regions-outlives-projection-container.rs:54:18 --> $DIR/regions-outlives-projection-container.rs:50:18
| |
LL | fn without_assoc<'a,'b>() { LL | fn without_assoc<'a,'b>() {
| ^^ | ^^
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 54:21 note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 50:21
--> $DIR/regions-outlives-projection-container.rs:54:21 --> $DIR/regions-outlives-projection-container.rs:50:21
| |
LL | fn without_assoc<'a,'b>() { LL | fn without_assoc<'a,'b>() {
| ^^ | ^^
error[E0491]: in type `&'a WithAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references error[E0491]: in type `&'a WithAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references
--> $DIR/regions-outlives-projection-container.rs:67:12 --> $DIR/regions-outlives-projection-container.rs:63:12
| |
LL | call::<&'a WithAssoc<TheType<'b>>>(); LL | call::<&'a WithAssoc<TheType<'b>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
note: the pointer is valid for the lifetime 'a as defined on the function body at 62:20 note: the pointer is valid for the lifetime 'a as defined on the function body at 58:20
--> $DIR/regions-outlives-projection-container.rs:62:20 --> $DIR/regions-outlives-projection-container.rs:58:20
| |
LL | fn call_with_assoc<'a,'b>() { LL | fn call_with_assoc<'a,'b>() {
| ^^ | ^^
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 62:23 note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 58:23
--> $DIR/regions-outlives-projection-container.rs:62:23 --> $DIR/regions-outlives-projection-container.rs:58:23
| |
LL | fn call_with_assoc<'a,'b>() { LL | fn call_with_assoc<'a,'b>() {
| ^^ | ^^
error[E0491]: in type `&'a WithoutAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references error[E0491]: in type `&'a WithoutAssoc<TheType<'b>>`, reference has a longer lifetime than the data it references
--> $DIR/regions-outlives-projection-container.rs:74:12 --> $DIR/regions-outlives-projection-container.rs:70:12
| |
LL | call::<&'a WithoutAssoc<TheType<'b>>>(); LL | call::<&'a WithoutAssoc<TheType<'b>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
note: the pointer is valid for the lifetime 'a as defined on the function body at 71:23 note: the pointer is valid for the lifetime 'a as defined on the function body at 67:23
--> $DIR/regions-outlives-projection-container.rs:71:23 --> $DIR/regions-outlives-projection-container.rs:67:23
| |
LL | fn call_without_assoc<'a,'b>() { LL | fn call_without_assoc<'a,'b>() {
| ^^ | ^^
note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 71:26 note: but the referenced data is only valid for the lifetime 'b as defined on the function body at 67:26
--> $DIR/regions-outlives-projection-container.rs:71:26 --> $DIR/regions-outlives-projection-container.rs:67:26
| |
LL | fn call_without_assoc<'a,'b>() { LL | fn call_without_assoc<'a,'b>() {
| ^^ | ^^

View File

@ -1,5 +1,5 @@
error[E0520]: `foo` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `foo` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:22:5 --> $DIR/specialization-no-default.rs:20:5
| |
LL | / impl<T> Foo for T { LL | / impl<T> Foo for T {
LL | | fn foo(&self) {} LL | | fn foo(&self) {}
@ -13,7 +13,7 @@ LL | fn foo(&self) {}
= note: to specialize, `foo` in the parent `impl` must be marked `default` = note: to specialize, `foo` in the parent `impl` must be marked `default`
error[E0520]: `bar` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `bar` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:25:5 --> $DIR/specialization-no-default.rs:23:5
| |
LL | / impl<T> Foo for T { LL | / impl<T> Foo for T {
LL | | fn foo(&self) {} LL | | fn foo(&self) {}
@ -27,7 +27,7 @@ LL | fn bar(&self) {}
= note: to specialize, `bar` in the parent `impl` must be marked `default` = note: to specialize, `bar` in the parent `impl` must be marked `default`
error[E0520]: `T` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `T` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:41:5 --> $DIR/specialization-no-default.rs:37:5
| |
LL | / impl<T> Bar for T { LL | / impl<T> Bar for T {
LL | | type T = u8; LL | | type T = u8;
@ -40,7 +40,7 @@ LL | type T = ();
= note: to specialize, `T` in the parent `impl` must be marked `default` = note: to specialize, `T` in the parent `impl` must be marked `default`
error[E0520]: `baz` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `baz` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:61:5 --> $DIR/specialization-no-default.rs:55:5
| |
LL | / impl<T: Clone> Baz for T { LL | / impl<T: Clone> Baz for T {
LL | | fn baz(&self) {} LL | | fn baz(&self) {}
@ -53,7 +53,7 @@ LL | fn baz(&self) {}
= note: to specialize, `baz` in the parent `impl` must be marked `default` = note: to specialize, `baz` in the parent `impl` must be marked `default`
error[E0520]: `redundant` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `redundant` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:82:5 --> $DIR/specialization-no-default.rs:74:5
| |
LL | / impl<T: Clone> Redundant for T { LL | / impl<T: Clone> Redundant for T {
LL | | fn redundant(&self) {} LL | | fn redundant(&self) {}

View File

@ -1,5 +1,5 @@
error[E0520]: `foo` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `foo` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:22:5 --> $DIR/specialization-no-default.rs:20:5
| |
LL | / impl<T> Foo for T { LL | / impl<T> Foo for T {
LL | | fn foo(&self) {} LL | | fn foo(&self) {}
@ -13,7 +13,7 @@ LL | fn foo(&self) {}
= note: to specialize, `foo` in the parent `impl` must be marked `default` = note: to specialize, `foo` in the parent `impl` must be marked `default`
error[E0520]: `bar` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `bar` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:25:5 --> $DIR/specialization-no-default.rs:23:5
| |
LL | / impl<T> Foo for T { LL | / impl<T> Foo for T {
LL | | fn foo(&self) {} LL | | fn foo(&self) {}
@ -27,7 +27,7 @@ LL | fn bar(&self) {}
= note: to specialize, `bar` in the parent `impl` must be marked `default` = note: to specialize, `bar` in the parent `impl` must be marked `default`
error[E0520]: `T` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `T` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:41:5 --> $DIR/specialization-no-default.rs:37:5
| |
LL | / impl<T> Bar for T { LL | / impl<T> Bar for T {
LL | | type T = u8; LL | | type T = u8;
@ -40,7 +40,7 @@ LL | type T = ();
= note: to specialize, `T` in the parent `impl` must be marked `default` = note: to specialize, `T` in the parent `impl` must be marked `default`
error[E0520]: `baz` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `baz` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:61:5 --> $DIR/specialization-no-default.rs:55:5
| |
LL | / impl<T: Clone> Baz for T { LL | / impl<T: Clone> Baz for T {
LL | | fn baz(&self) {} LL | | fn baz(&self) {}
@ -53,7 +53,7 @@ LL | fn baz(&self) {}
= note: to specialize, `baz` in the parent `impl` must be marked `default` = note: to specialize, `baz` in the parent `impl` must be marked `default`
error[E0520]: `redundant` specializes an item from a parent `impl`, but that item is not marked `default` error[E0520]: `redundant` specializes an item from a parent `impl`, but that item is not marked `default`
--> $DIR/specialization-no-default.rs:82:5 --> $DIR/specialization-no-default.rs:74:5
| |
LL | / impl<T: Clone> Redundant for T { LL | / impl<T: Clone> Redundant for T {
LL | | fn redundant(&self) {} LL | | fn redundant(&self) {}