Skip to content

Commit 8b663ec

Browse files
committed
TAIT: --bless some span changes for the better
1 parent 75aaa85 commit 8b663ec

8 files changed

+20
-20
lines changed

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: at least one trait must be specified
2-
--> $DIR/generic_nondefining_use.rs:5:20
2+
--> $DIR/generic_nondefining_use.rs:5:15
33
|
44
LL | type Cmp<T> = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error: defining opaque type use does not fully define opaque type
88
--> $DIR/generic_nondefining_use.rs:11:1

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: at least one trait must be specified
2-
--> $DIR/generic_not_used.rs:5:38
2+
--> $DIR/generic_not_used.rs:5:33
33
|
44
LL | type WrongGeneric<T: 'static> = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error: type parameter `V` is part of concrete type but not used in parameter list for the `impl Trait` type alias
88
--> $DIR/generic_not_used.rs:8:73

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: at least one trait must be specified
2-
--> $DIR/generic_type_does_not_live_long_enough.rs:9:29
2+
--> $DIR/generic_type_does_not_live_long_enough.rs:9:24
33
|
44
LL | type WrongGeneric<T> = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error[E0308]: mismatched types
88
--> $DIR/generic_type_does_not_live_long_enough.rs:6:18

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: at least one trait must be specified
2-
--> $DIR/generic_type_does_not_live_long_enough.rs:9:29
2+
--> $DIR/generic_type_does_not_live_long_enough.rs:9:24
33
|
44
LL | type WrongGeneric<T> = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error[E0308]: mismatched types
88
--> $DIR/generic_type_does_not_live_long_enough.rs:6:18

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: at least one trait must be specified
2-
--> $DIR/generic_underconstrained.rs:6:40
2+
--> $DIR/generic_underconstrained.rs:6:35
33
|
44
LL | type Underconstrained<T: Trait> = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error[E0277]: the trait bound `T: Trait` is not satisfied
88
--> $DIR/generic_underconstrained.rs:6:1

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

+4-4
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
11
error: at least one trait must be specified
2-
--> $DIR/generic_underconstrained2.rs:5:50
2+
--> $DIR/generic_underconstrained2.rs:5:45
33
|
44
LL | type Underconstrained<T: std::fmt::Debug> = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error: at least one trait must be specified
8-
--> $DIR/generic_underconstrained2.rs:14:51
8+
--> $DIR/generic_underconstrained2.rs:14:46
99
|
1010
LL | type Underconstrained2<T: std::fmt::Debug> = impl 'static;
11-
| ^^^^^^^
11+
| ^^^^^^^^^^^^
1212

1313
error[E0277]: `U` doesn't implement `std::fmt::Debug`
1414
--> $DIR/generic_underconstrained2.rs:5:1

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
error: at least one trait must be specified
2-
--> $DIR/type-alias-impl-trait-with-no-traits.rs:3:17
2+
--> $DIR/type-alias-impl-trait-with-no-traits.rs:3:12
33
|
44
LL | type Foo = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error: at least one trait must be specified
88
--> $DIR/type-alias-impl-trait-with-no-traits.rs:10:13
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
11
error: at least one trait must be specified
2-
--> $DIR/unused_generic_param.rs:6:33
2+
--> $DIR/unused_generic_param.rs:6:28
33
|
44
LL | type PartiallyDefined<T> = impl 'static;
5-
| ^^^^^^^
5+
| ^^^^^^^^^^^^
66

77
error: at least one trait must be specified
8-
--> $DIR/unused_generic_param.rs:13:34
8+
--> $DIR/unused_generic_param.rs:13:29
99
|
1010
LL | type PartiallyDefined2<T> = impl 'static;
11-
| ^^^^^^^
11+
| ^^^^^^^^^^^^
1212

1313
error: aborting due to 2 previous errors
1414

0 commit comments

Comments
 (0)