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

TAIT: --bless some span changes for the better

Browse Source
This commit is contained in:
Mazdak Farrokhzad 2019-11-07 19:46:21 +01:00
parent 75aaa85f46
commit 8b663ec16f
8 changed files with 20 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/test/ui/type-alias-impl-trait/generic_nondefining_use.stderr
View File

@ -1,8 +1,8 @@
error: at least one trait must be specified
--> $DIR/generic_nondefining_use.rs:5:20
--> $DIR/generic_nondefining_use.rs:5:15
|
LL | type Cmp<T> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error: defining opaque type use does not fully define opaque type
--> $DIR/generic_nondefining_use.rs:11:1

4
src/test/ui/type-alias-impl-trait/generic_not_used.stderr
View File

@ -1,8 +1,8 @@
error: at least one trait must be specified
--> $DIR/generic_not_used.rs:5:38
--> $DIR/generic_not_used.rs:5:33
|
LL | type WrongGeneric<T: 'static> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error: type parameter `V` is part of concrete type but not used in parameter list for the `impl Trait` type alias
--> $DIR/generic_not_used.rs:8:73

4
src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.nll.stderr
View File

@ -1,8 +1,8 @@
error: at least one trait must be specified
--> $DIR/generic_type_does_not_live_long_enough.rs:9:29
--> $DIR/generic_type_does_not_live_long_enough.rs:9:24
|
LL | type WrongGeneric<T> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error[E0308]: mismatched types
--> $DIR/generic_type_does_not_live_long_enough.rs:6:18

4
src/test/ui/type-alias-impl-trait/generic_type_does_not_live_long_enough.stderr
View File

@ -1,8 +1,8 @@
error: at least one trait must be specified
--> $DIR/generic_type_does_not_live_long_enough.rs:9:29
--> $DIR/generic_type_does_not_live_long_enough.rs:9:24
|
LL | type WrongGeneric<T> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error[E0308]: mismatched types
--> $DIR/generic_type_does_not_live_long_enough.rs:6:18

4
src/test/ui/type-alias-impl-trait/generic_underconstrained.stderr
View File

@ -1,8 +1,8 @@
error: at least one trait must be specified
--> $DIR/generic_underconstrained.rs:6:40
--> $DIR/generic_underconstrained.rs:6:35
|
LL | type Underconstrained<T: Trait> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error[E0277]: the trait bound `T: Trait` is not satisfied
--> $DIR/generic_underconstrained.rs:6:1

8
src/test/ui/type-alias-impl-trait/generic_underconstrained2.stderr
View File

@ -1,14 +1,14 @@
error: at least one trait must be specified
--> $DIR/generic_underconstrained2.rs:5:50
--> $DIR/generic_underconstrained2.rs:5:45
|
LL | type Underconstrained<T: std::fmt::Debug> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error: at least one trait must be specified
--> $DIR/generic_underconstrained2.rs:14:51
--> $DIR/generic_underconstrained2.rs:14:46
|
LL | type Underconstrained2<T: std::fmt::Debug> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error[E0277]: `U` doesn't implement `std::fmt::Debug`
--> $DIR/generic_underconstrained2.rs:5:1

4
src/test/ui/type-alias-impl-trait/type-alias-impl-trait-with-no-traits.stderr
View File

@ -1,8 +1,8 @@
error: at least one trait must be specified
--> $DIR/type-alias-impl-trait-with-no-traits.rs:3:17
--> $DIR/type-alias-impl-trait-with-no-traits.rs:3:12
|
LL | type Foo = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error: at least one trait must be specified
--> $DIR/type-alias-impl-trait-with-no-traits.rs:10:13

8
src/test/ui/type-alias-impl-trait/unused_generic_param.stderr
View File

@ -1,14 +1,14 @@
error: at least one trait must be specified
--> $DIR/unused_generic_param.rs:6:33
--> $DIR/unused_generic_param.rs:6:28
|
LL | type PartiallyDefined<T> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error: at least one trait must be specified
--> $DIR/unused_generic_param.rs:13:34
--> $DIR/unused_generic_param.rs:13:29
|
LL | type PartiallyDefined2<T> = impl 'static;
| ^^^^^^^
| ^^^^^^^^^^^^
error: aborting due to 2 previous errors