mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-23 07:14:28 +00:00
Rollup merge of #99393 - Logarithmus:feature/99255-omit-const-generic-suffixes, r=petrochenkov
feat: omit suffixes in const generics (e.g. `1_i32`) Closes #99255
This commit is contained in:
Dylan DPC
GitHub
commit
449ffe0bd5
@ -1729,7 +1729,7 @@ impl<'tcx> Printer<'tcx> for FmtPrinter<'_, 'tcx> {
|
||||
}
|
||||
|
||||
fn print_const(self, ct: ty::Const<'tcx>) -> Result<Self::Const, Self::Error> {
|
||||
self.pretty_print_const(ct, true)
|
||||
self.pretty_print_const(ct, false)
|
||||
}
|
||||
|
||||
fn path_crate(mut self, cnum: CrateNum) -> Result<Self::Path, Self::Error> {
|
||||
|
||||
@ -7,7 +7,7 @@ pub struct Simd<T, const WIDTH: usize> {
|
||||
inner: T,
|
||||
}
|
||||
|
||||
// @has foo/struct.Simd.html '//div[@id="trait-implementations-list"]//h3[@class="code-header in-band"]' 'impl Add<Simd<u8, 16_usize>> for Simd<u8, 16>'
|
||||
// @has foo/struct.Simd.html '//div[@id="trait-implementations-list"]//h3[@class="code-header in-band"]' 'impl Add<Simd<u8, 16>> for Simd<u8, 16>'
|
||||
impl Add for Simd<u8, 16> {
|
||||
type Output = Self;
|
||||
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
#![crate_name = "foo"]
|
||||
|
||||
// @has foo/struct.Foo.html '//pre[@class="rust struct"]' \
|
||||
// 'pub struct Foo<const M: usize = 10_usize, const N: usize = M, T = i32>(_);'
|
||||
// 'pub struct Foo<const M: usize = 10, const N: usize = M, T = i32>(_);'
|
||||
pub struct Foo<const M: usize = 10, const N: usize = M, T = i32>(T);
|
||||
|
||||
@ -19,8 +19,8 @@ pub use extern_crate::WTrait;
|
||||
|
||||
// @has foo/trait.Trait.html '//pre[@class="rust trait"]' \
|
||||
// 'pub trait Trait<const N: usize>'
|
||||
// @has - '//*[@id="impl-Trait%3C1_usize%3E-for-u8"]//h3[@class="code-header in-band"]' 'impl Trait<1_usize> for u8'
|
||||
// @has - '//*[@id="impl-Trait%3C2_usize%3E-for-u8"]//h3[@class="code-header in-band"]' 'impl Trait<2_usize> for u8'
|
||||
// @has - '//*[@id="impl-Trait%3C1%3E-for-u8"]//h3[@class="code-header in-band"]' 'impl Trait<1> for u8'
|
||||
// @has - '//*[@id="impl-Trait%3C2%3E-for-u8"]//h3[@class="code-header in-band"]' 'impl Trait<2> for u8'
|
||||
// @has - '//*[@id="impl-Trait%3C{1%20+%202}%3E-for-u8"]//h3[@class="code-header in-band"]' 'impl Trait<{1 + 2}> for u8'
|
||||
// @has - '//*[@id="impl-Trait%3CN%3E-for-%5Bu8%3B%20N%5D"]//h3[@class="code-header in-band"]' \
|
||||
// 'impl<const N: usize> Trait<N> for [u8; N]'
|
||||
|
||||
@ -44,11 +44,11 @@ struct WithParameters<T, const N: usize, M = u32> {
|
||||
}
|
||||
|
||||
impl<T> WithParameters<T, 1> {
|
||||
fn with_ref(&self) {} //~ ERROR passing `WithParameters<T, 1_usize>` by reference
|
||||
fn with_ref(&self) {} //~ ERROR passing `WithParameters<T, 1>` by reference
|
||||
}
|
||||
|
||||
impl<T> WithParameters<T, 1, u8> {
|
||||
fn with_ref(&self) {} //~ ERROR passing `WithParameters<T, 1_usize, u8>` by reference
|
||||
fn with_ref(&self) {} //~ ERROR passing `WithParameters<T, 1, u8>` by reference
|
||||
}
|
||||
|
||||
fn main() {}
|
||||
|
||||
@ -22,17 +22,17 @@ error: passing `Foo` by reference
|
||||
LL | fn with_ref(&self) {}
|
||||
| ^^^^^ help: try passing by value: `Foo`
|
||||
|
||||
error: passing `WithParameters<T, 1_usize>` by reference
|
||||
error: passing `WithParameters<T, 1>` by reference
|
||||
--> $DIR/rustc_pass_by_value_self.rs:47:17
|
||||
|
|
||||
LL | fn with_ref(&self) {}
|
||||
| ^^^^^ help: try passing by value: `WithParameters<T, 1_usize>`
|
||||
| ^^^^^ help: try passing by value: `WithParameters<T, 1>`
|
||||
|
||||
error: passing `WithParameters<T, 1_usize, u8>` by reference
|
||||
error: passing `WithParameters<T, 1, u8>` by reference
|
||||
--> $DIR/rustc_pass_by_value_self.rs:51:17
|
||||
|
|
||||
LL | fn with_ref(&self) {}
|
||||
| ^^^^^ help: try passing by value: `WithParameters<T, 1_usize, u8>`
|
||||
| ^^^^^ help: try passing by value: `WithParameters<T, 1, u8>`
|
||||
|
||||
error: aborting due to 5 previous errors
|
||||
|
||||
|
||||
@ -2,7 +2,7 @@ error[E0308]: mismatched types
|
||||
--> $DIR/match_arr_unknown_len.rs:3:9
|
||||
|
|
||||
LL | [1, 2] => true,
|
||||
| ^^^^^^ expected `2_usize`, found `N`
|
||||
| ^^^^^^ expected `2`, found `N`
|
||||
|
|
||||
= note: expected array `[u32; 2]`
|
||||
found array `[u32; N]`
|
||||
|
||||
@ -4,7 +4,7 @@ error[E0277]: the trait bound `u16: Bar<N>` is not satisfied
|
||||
LL | type Assoc = u16;
|
||||
| ^^^ the trait `Bar<N>` is not implemented for `u16`
|
||||
|
|
||||
= help: the trait `Bar<3_usize>` is implemented for `u16`
|
||||
= help: the trait `Bar<3>` is implemented for `u16`
|
||||
note: required by a bound in `Foo::Assoc`
|
||||
--> $DIR/associated-type-bound-fail.rs:4:17
|
||||
|
|
||||
|
||||
@ -2,10 +2,10 @@ error[E0308]: mismatched types
|
||||
--> $DIR/generic-expr-default-concrete.rs:10:5
|
||||
|
|
||||
LL | Foo::<10, 12>
|
||||
| ^^^^^^^^^^^^^ expected `11_usize`, found `12_usize`
|
||||
| ^^^^^^^^^^^^^ expected `11`, found `12`
|
||||
|
|
||||
= note: expected type `11_usize`
|
||||
found type `12_usize`
|
||||
= note: expected type `11`
|
||||
found type `12`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -1,22 +1,22 @@
|
||||
pub struct Example<const N: usize=13>;
|
||||
pub struct Example2<T=u32, const N: usize=13>(T);
|
||||
pub struct Example3<const N: usize=13, T=u32>(T);
|
||||
pub struct Example4<const N: usize=13, const M: usize=4>;
|
||||
pub struct Example<const N: usize = 13>;
|
||||
pub struct Example2<T = u32, const N: usize = 13>(T);
|
||||
pub struct Example3<const N: usize = 13, T = u32>(T);
|
||||
pub struct Example4<const N: usize = 13, const M: usize = 4>;
|
||||
|
||||
fn main() {
|
||||
let e: Example::<13> = ();
|
||||
let e: Example<13> = ();
|
||||
//~^ Error: mismatched types
|
||||
//~| expected struct `Example`
|
||||
let e: Example2::<u32, 13> = ();
|
||||
let e: Example2<u32, 13> = ();
|
||||
//~^ Error: mismatched types
|
||||
//~| expected struct `Example2`
|
||||
let e: Example3::<13, u32> = ();
|
||||
let e: Example3<13, u32> = ();
|
||||
//~^ Error: mismatched types
|
||||
//~| expected struct `Example3`
|
||||
let e: Example3::<7> = ();
|
||||
let e: Example3<7> = ();
|
||||
//~^ Error: mismatched types
|
||||
//~| expected struct `Example3<7_usize>`
|
||||
let e: Example4::<7> = ();
|
||||
//~| expected struct `Example3<7>`
|
||||
let e: Example4<7> = ();
|
||||
//~^ Error: mismatched types
|
||||
//~| expected struct `Example4<7_usize>`
|
||||
//~| expected struct `Example4<7>`
|
||||
}
|
||||
|
||||
@ -1,8 +1,8 @@
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/mismatch.rs:7:28
|
||||
--> $DIR/mismatch.rs:7:26
|
||||
|
|
||||
LL | let e: Example::<13> = ();
|
||||
| ------------- ^^ expected struct `Example`, found `()`
|
||||
LL | let e: Example<13> = ();
|
||||
| ----------- ^^ expected struct `Example`, found `()`
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
@ -10,10 +10,10 @@ LL | let e: Example::<13> = ();
|
||||
found unit type `()`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/mismatch.rs:10:34
|
||||
--> $DIR/mismatch.rs:10:32
|
||||
|
|
||||
LL | let e: Example2::<u32, 13> = ();
|
||||
| ------------------- ^^ expected struct `Example2`, found `()`
|
||||
LL | let e: Example2<u32, 13> = ();
|
||||
| ----------------- ^^ expected struct `Example2`, found `()`
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
@ -21,10 +21,10 @@ LL | let e: Example2::<u32, 13> = ();
|
||||
found unit type `()`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/mismatch.rs:13:34
|
||||
--> $DIR/mismatch.rs:13:32
|
||||
|
|
||||
LL | let e: Example3::<13, u32> = ();
|
||||
| ------------------- ^^ expected struct `Example3`, found `()`
|
||||
LL | let e: Example3<13, u32> = ();
|
||||
| ----------------- ^^ expected struct `Example3`, found `()`
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
@ -32,25 +32,25 @@ LL | let e: Example3::<13, u32> = ();
|
||||
found unit type `()`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/mismatch.rs:16:28
|
||||
--> $DIR/mismatch.rs:16:26
|
||||
|
|
||||
LL | let e: Example3::<7> = ();
|
||||
| ------------- ^^ expected struct `Example3`, found `()`
|
||||
LL | let e: Example3<7> = ();
|
||||
| ----------- ^^ expected struct `Example3`, found `()`
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
= note: expected struct `Example3<7_usize>`
|
||||
= note: expected struct `Example3<7>`
|
||||
found unit type `()`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/mismatch.rs:19:28
|
||||
--> $DIR/mismatch.rs:19:26
|
||||
|
|
||||
LL | let e: Example4::<7> = ();
|
||||
| ------------- ^^ expected struct `Example4`, found `()`
|
||||
LL | let e: Example4<7> = ();
|
||||
| ----------- ^^ expected struct `Example4`, found `()`
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
= note: expected struct `Example4<7_usize>`
|
||||
= note: expected struct `Example4<7>`
|
||||
found unit type `()`
|
||||
|
||||
error: aborting due to 5 previous errors
|
||||
|
||||
@ -4,16 +4,15 @@ trait Trait {}
|
||||
impl<const N: u32> Trait for Uwu<N> {}
|
||||
|
||||
fn rawr() -> impl Trait {
|
||||
//~^ error: the trait bound `Uwu<10_u32, 12_u32>: Trait` is not satisfied
|
||||
//~^ error: the trait bound `Uwu<10, 12>: Trait` is not satisfied
|
||||
Uwu::<10, 12>
|
||||
}
|
||||
|
||||
trait Traitor<const N: u8 = 1, const M: u8 = N> { }
|
||||
trait Traitor<const N: u8 = 1, const M: u8 = N> {}
|
||||
|
||||
impl<const N: u8> Traitor<N, 2> for u32 {}
|
||||
impl Traitor<1, 2> for u64 {}
|
||||
|
||||
|
||||
fn uwu<const N: u8>() -> impl Traitor<N> {
|
||||
//~^ error: the trait bound `u32: Traitor<N>` is not satisfied
|
||||
1_u32
|
||||
|
||||
@ -1,16 +1,16 @@
|
||||
error[E0277]: the trait bound `Uwu<10_u32, 12_u32>: Trait` is not satisfied
|
||||
error[E0277]: the trait bound `Uwu<10, 12>: Trait` is not satisfied
|
||||
--> $DIR/rp_impl_trait_fail.rs:6:14
|
||||
|
|
||||
LL | fn rawr() -> impl Trait {
|
||||
| ^^^^^^^^^^ the trait `Trait` is not implemented for `Uwu<10_u32, 12_u32>`
|
||||
| ^^^^^^^^^^ the trait `Trait` is not implemented for `Uwu<10, 12>`
|
||||
LL |
|
||||
LL | Uwu::<10, 12>
|
||||
| ------------- return type was inferred to be `Uwu<10_u32, 12_u32>` here
|
||||
| ------------- return type was inferred to be `Uwu<10, 12>` here
|
||||
|
|
||||
= help: the trait `Trait` is implemented for `Uwu<N>`
|
||||
|
||||
error[E0277]: the trait bound `u32: Traitor<N>` is not satisfied
|
||||
--> $DIR/rp_impl_trait_fail.rs:17:26
|
||||
--> $DIR/rp_impl_trait_fail.rs:16:26
|
||||
|
|
||||
LL | fn uwu<const N: u8>() -> impl Traitor<N> {
|
||||
| ^^^^^^^^^^^^^^^ the trait `Traitor<N>` is not implemented for `u32`
|
||||
@ -19,11 +19,11 @@ LL | 1_u32
|
||||
| ----- return type was inferred to be `u32` here
|
||||
|
|
||||
= help: the following other types implement trait `Traitor<N, M>`:
|
||||
<u32 as Traitor<N, 2_u8>>
|
||||
<u64 as Traitor<1_u8, 2_u8>>
|
||||
<u32 as Traitor<N, 2>>
|
||||
<u64 as Traitor<1, 2>>
|
||||
|
||||
error[E0277]: the trait bound `u64: Traitor` is not satisfied
|
||||
--> $DIR/rp_impl_trait_fail.rs:22:13
|
||||
--> $DIR/rp_impl_trait_fail.rs:21:13
|
||||
|
|
||||
LL | fn owo() -> impl Traitor {
|
||||
| ^^^^^^^^^^^^ the trait `Traitor` is not implemented for `u64`
|
||||
@ -32,8 +32,8 @@ LL | 1_u64
|
||||
| ----- return type was inferred to be `u64` here
|
||||
|
|
||||
= help: the following other types implement trait `Traitor<N, M>`:
|
||||
<u32 as Traitor<N, 2_u8>>
|
||||
<u64 as Traitor<1_u8, 2_u8>>
|
||||
<u32 as Traitor<N, 2>>
|
||||
<u64 as Traitor<1, 2>>
|
||||
|
||||
error: aborting due to 3 previous errors
|
||||
|
||||
|
||||
@ -16,7 +16,7 @@ trait Traitor<const N: u8 = 1, const M: u8 = N> {
|
||||
}
|
||||
}
|
||||
|
||||
impl Traitor<2, 3> for bool { }
|
||||
impl Traitor<2, 3> for bool {}
|
||||
|
||||
fn bar<const N: u8>(arg: &dyn Traitor<N>) -> u8 {
|
||||
arg.owo()
|
||||
@ -26,5 +26,5 @@ fn main() {
|
||||
foo(&10_u32);
|
||||
//~^ error: the trait bound `u32: Trait` is not satisfied
|
||||
bar(&true);
|
||||
//~^ error: the trait bound `bool: Traitor<{_: u8}>` is not satisfied
|
||||
//~^ error: the trait bound `bool: Traitor<_>` is not satisfied
|
||||
}
|
||||
|
||||
@ -6,19 +6,19 @@ LL | foo(&10_u32);
|
||||
| |
|
||||
| required by a bound introduced by this call
|
||||
|
|
||||
= help: the trait `Trait<2_u8>` is implemented for `u32`
|
||||
= help: the trait `Trait<2>` is implemented for `u32`
|
||||
= note: required for the cast from `u32` to the object type `dyn Trait`
|
||||
|
||||
error[E0277]: the trait bound `bool: Traitor<{_: u8}>` is not satisfied
|
||||
error[E0277]: the trait bound `bool: Traitor<_>` is not satisfied
|
||||
--> $DIR/trait_objects_fail.rs:28:9
|
||||
|
|
||||
LL | bar(&true);
|
||||
| --- ^^^^^ the trait `Traitor<{_: u8}>` is not implemented for `bool`
|
||||
| --- ^^^^^ the trait `Traitor<_>` is not implemented for `bool`
|
||||
| |
|
||||
| required by a bound introduced by this call
|
||||
|
|
||||
= help: the trait `Traitor<2_u8, 3_u8>` is implemented for `bool`
|
||||
= note: required for the cast from `bool` to the object type `dyn Traitor<{_: u8}>`
|
||||
= help: the trait `Traitor<2, 3>` is implemented for `bool`
|
||||
= note: required for the cast from `bool` to the object type `dyn Traitor<_>`
|
||||
|
||||
error: aborting due to 2 previous errors
|
||||
|
||||
|
||||
@ -3,16 +3,20 @@ struct Ooopsies<const N: u8 = { u8::MAX + 1 }>;
|
||||
|
||||
trait Trait<const N: u8> {}
|
||||
impl Trait<3> for () {}
|
||||
struct WhereClause<const N: u8 = 2> where (): Trait<N>;
|
||||
//~^ error: the trait bound `(): Trait<2_u8>` is not satisfied
|
||||
struct WhereClause<const N: u8 = 2>
|
||||
where
|
||||
(): Trait<N>;
|
||||
//~^ error: the trait bound `(): Trait<2>` is not satisfied
|
||||
|
||||
trait Traitor<T, const N: u8> {}
|
||||
struct WhereClauseTooGeneric<T = u32, const N: u8 = 2>(T) where (): Traitor<T, N>;
|
||||
struct WhereClauseTooGeneric<T = u32, const N: u8 = 2>(T)
|
||||
where
|
||||
(): Traitor<T, N>;
|
||||
|
||||
// no error on struct def
|
||||
struct DependentDefaultWfness<const N: u8 = 1, T = WhereClause<N>>(T);
|
||||
fn foo() -> DependentDefaultWfness {
|
||||
//~^ error: the trait bound `(): Trait<1_u8>` is not satisfied
|
||||
//~^ error: the trait bound `(): Trait<1>` is not satisfied
|
||||
loop {}
|
||||
}
|
||||
|
||||
|
||||
@ -4,26 +4,29 @@ error[E0080]: evaluation of constant value failed
|
||||
LL | struct Ooopsies<const N: u8 = { u8::MAX + 1 }>;
|
||||
| ^^^^^^^^^^^ attempt to compute `u8::MAX + 1_u8`, which would overflow
|
||||
|
||||
error[E0277]: the trait bound `(): Trait<2_u8>` is not satisfied
|
||||
--> $DIR/wfness.rs:6:47
|
||||
error[E0277]: the trait bound `(): Trait<2>` is not satisfied
|
||||
--> $DIR/wfness.rs:8:9
|
||||
|
|
||||
LL | struct WhereClause<const N: u8 = 2> where (): Trait<N>;
|
||||
| ^^^^^^^^ the trait `Trait<2_u8>` is not implemented for `()`
|
||||
LL | (): Trait<N>;
|
||||
| ^^^^^^^^ the trait `Trait<2>` is not implemented for `()`
|
||||
|
|
||||
= help: the trait `Trait<3_u8>` is implemented for `()`
|
||||
= help: the trait `Trait<3>` is implemented for `()`
|
||||
|
||||
error[E0277]: the trait bound `(): Trait<1_u8>` is not satisfied
|
||||
--> $DIR/wfness.rs:14:13
|
||||
error[E0277]: the trait bound `(): Trait<1>` is not satisfied
|
||||
--> $DIR/wfness.rs:18:13
|
||||
|
|
||||
LL | fn foo() -> DependentDefaultWfness {
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^ the trait `Trait<1_u8>` is not implemented for `()`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^ the trait `Trait<1>` is not implemented for `()`
|
||||
|
|
||||
= help: the trait `Trait<3_u8>` is implemented for `()`
|
||||
= help: the trait `Trait<3>` is implemented for `()`
|
||||
note: required by a bound in `WhereClause`
|
||||
--> $DIR/wfness.rs:6:47
|
||||
--> $DIR/wfness.rs:8:9
|
||||
|
|
||||
LL | struct WhereClause<const N: u8 = 2> where (): Trait<N>;
|
||||
| ^^^^^^^^ required by this bound in `WhereClause`
|
||||
LL | struct WhereClause<const N: u8 = 2>
|
||||
| ----------- required by a bound in this
|
||||
LL | where
|
||||
LL | (): Trait<N>;
|
||||
| ^^^^^^^^ required by this bound in `WhereClause`
|
||||
|
||||
error: aborting due to 3 previous errors
|
||||
|
||||
|
||||
@ -2,10 +2,10 @@ error[E0308]: mismatched types
|
||||
--> $DIR/different_generic_args.rs:11:9
|
||||
|
|
||||
LL | u = ConstUsize::<4> {};
|
||||
| ^^^^^^^^^^^^^^^^^^ expected `3_usize`, found `4_usize`
|
||||
| ^^^^^^^^^^^^^^^^^^ expected `3`, found `4`
|
||||
|
|
||||
= note: expected struct `ConstUsize<3_usize>`
|
||||
found struct `ConstUsize<4_usize>`
|
||||
= note: expected struct `ConstUsize<3>`
|
||||
found struct `ConstUsize<4>`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -2,10 +2,10 @@ error[E0308]: mismatched types
|
||||
--> $DIR/different_generic_args.rs:11:9
|
||||
|
|
||||
LL | u = ConstUsize::<4> {};
|
||||
| ^^^^^^^^^^^^^^^^^^ expected `3_usize`, found `4_usize`
|
||||
| ^^^^^^^^^^^^^^^^^^ expected `3`, found `4`
|
||||
|
|
||||
= note: expected struct `ConstUsize<3_usize>`
|
||||
found struct `ConstUsize<4_usize>`
|
||||
= note: expected struct `ConstUsize<3>`
|
||||
found struct `ConstUsize<4>`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -2,10 +2,10 @@ error[E0308]: mismatched types
|
||||
--> $DIR/different_generic_args_array.rs:9:9
|
||||
|
|
||||
LL | x = Const::<{ [4] }> {};
|
||||
| ^^^^^^^^^^^^^^^^^^^ expected `[3_usize]`, found `[4_usize]`
|
||||
| ^^^^^^^^^^^^^^^^^^^ expected `[3]`, found `[4]`
|
||||
|
|
||||
= note: expected struct `Const<[3_usize]>`
|
||||
found struct `Const<[4_usize]>`
|
||||
= note: expected struct `Const<[3]>`
|
||||
found struct `Const<[4]>`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -5,14 +5,14 @@ LL | <() as Foo<N>>::test()
|
||||
| ^^^^^^^^^^^^^^^^^^^^ the trait `Foo<N>` is not implemented for `()`
|
||||
|
|
||||
= help: the following other types implement trait `Foo<N>`:
|
||||
<() as Foo<0_u8>>
|
||||
<() as Foo<100_u8>>
|
||||
<() as Foo<101_u8>>
|
||||
<() as Foo<102_u8>>
|
||||
<() as Foo<103_u8>>
|
||||
<() as Foo<104_u8>>
|
||||
<() as Foo<105_u8>>
|
||||
<() as Foo<106_u8>>
|
||||
<() as Foo<0>>
|
||||
<() as Foo<100>>
|
||||
<() as Foo<101>>
|
||||
<() as Foo<102>>
|
||||
<() as Foo<103>>
|
||||
<() as Foo<104>>
|
||||
<() as Foo<105>>
|
||||
<() as Foo<106>>
|
||||
and 248 others
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
@ -14,7 +14,7 @@ LL | fn ty_fn() -> Bar<i32, _> {
|
||||
| ---------^-
|
||||
| | |
|
||||
| | not allowed in type signatures
|
||||
| help: replace with the correct return type: `Bar<i32, 3_usize>`
|
||||
| help: replace with the correct return type: `Bar<i32, 3>`
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
|
||||
--> $DIR/in-signature.rs:17:25
|
||||
@ -24,7 +24,7 @@ LL | fn ty_fn_mixed() -> Bar<_, _> {
|
||||
| | | |
|
||||
| | | not allowed in type signatures
|
||||
| | not allowed in type signatures
|
||||
| help: replace with the correct return type: `Bar<i32, 3_usize>`
|
||||
| help: replace with the correct return type: `Bar<i32, 3>`
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
||||
--> $DIR/in-signature.rs:22:15
|
||||
@ -45,7 +45,7 @@ LL | const TY_CT: Bar<i32, _> = Bar::<i32, 3>(0);
|
||||
| ^^^^^^^^^^^
|
||||
| |
|
||||
| not allowed in type signatures
|
||||
| help: replace with the correct type: `Bar<i32, 3_usize>`
|
||||
| help: replace with the correct type: `Bar<i32, 3>`
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
||||
--> $DIR/in-signature.rs:28:19
|
||||
@ -54,7 +54,7 @@ LL | static TY_STATIC: Bar<i32, _> = Bar::<i32, 3>(0);
|
||||
| ^^^^^^^^^^^
|
||||
| |
|
||||
| not allowed in type signatures
|
||||
| help: replace with the correct type: `Bar<i32, 3_usize>`
|
||||
| help: replace with the correct type: `Bar<i32, 3>`
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
||||
--> $DIR/in-signature.rs:30:20
|
||||
@ -63,7 +63,7 @@ LL | const TY_CT_MIXED: Bar<_, _> = Bar::<i32, 3>(0);
|
||||
| ^^^^^^^^^
|
||||
| |
|
||||
| not allowed in type signatures
|
||||
| help: replace with the correct type: `Bar<i32, 3_usize>`
|
||||
| help: replace with the correct type: `Bar<i32, 3>`
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for static variables
|
||||
--> $DIR/in-signature.rs:32:25
|
||||
@ -72,7 +72,7 @@ LL | static TY_STATIC_MIXED: Bar<_, _> = Bar::<i32, 3>(0);
|
||||
| ^^^^^^^^^
|
||||
| |
|
||||
| not allowed in type signatures
|
||||
| help: replace with the correct type: `Bar<i32, 3_usize>`
|
||||
| help: replace with the correct type: `Bar<i32, 3>`
|
||||
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
||||
--> $DIR/in-signature.rs:35:21
|
||||
|
||||
@ -56,19 +56,19 @@ error[E0308]: mismatched types
|
||||
--> $DIR/abstract-const-as-cast-3.rs:23:5
|
||||
|
|
||||
LL | assert_impl::<HasCastInTraitImpl<13, { 12 as u128 }>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `12_u128`, found `13_u128`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `12`, found `13`
|
||||
|
|
||||
= note: expected type `12_u128`
|
||||
found type `13_u128`
|
||||
= note: expected type `12`
|
||||
found type `13`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/abstract-const-as-cast-3.rs:25:5
|
||||
|
|
||||
LL | assert_impl::<HasCastInTraitImpl<14, 13>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `13_u128`, found `14_u128`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `13`, found `14`
|
||||
|
|
||||
= note: expected type `13_u128`
|
||||
found type `14_u128`
|
||||
= note: expected type `13`
|
||||
found type `14`
|
||||
|
||||
error: unconstrained generic constant
|
||||
--> $DIR/abstract-const-as-cast-3.rs:35:5
|
||||
@ -128,19 +128,19 @@ error[E0308]: mismatched types
|
||||
--> $DIR/abstract-const-as-cast-3.rs:41:5
|
||||
|
|
||||
LL | assert_impl::<HasCastInTraitImpl<13, { 12 as u128 }>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `12_u128`, found `13_u128`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `12`, found `13`
|
||||
|
|
||||
= note: expected type `12_u128`
|
||||
found type `13_u128`
|
||||
= note: expected type `12`
|
||||
found type `13`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/abstract-const-as-cast-3.rs:43:5
|
||||
|
|
||||
LL | assert_impl::<HasCastInTraitImpl<14, 13>>();
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `13_u128`, found `14_u128`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `13`, found `14`
|
||||
|
|
||||
= note: expected type `13_u128`
|
||||
found type `14_u128`
|
||||
= note: expected type `13`
|
||||
found type `14`
|
||||
|
||||
error: aborting due to 12 previous errors
|
||||
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
#![allow(incomplete_features)]
|
||||
|
||||
fn test<const N: usize>() -> [u8; N - 1] {
|
||||
//~^ ERROR evaluation of `test::<0_usize>::{constant#0}` failed
|
||||
//~^ ERROR evaluation of `test::<0>::{constant#0}` failed
|
||||
todo!()
|
||||
}
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
error[E0080]: evaluation of `test::<0_usize>::{constant#0}` failed
|
||||
error[E0080]: evaluation of `test::<0>::{constant#0}` failed
|
||||
--> $DIR/from-sig-fail.rs:4:35
|
||||
|
|
||||
LL | fn test<const N: usize>() -> [u8; N - 1] {
|
||||
|
||||
@ -4,14 +4,14 @@ error[E0423]: expected value, found type parameter `T`
|
||||
LL | impl<T> Bar<T> for [u8; T] {}
|
||||
| ^ not a value
|
||||
|
||||
error[E0599]: the function or associated item `foo` exists for struct `Foo<{_: usize}>`, but its trait bounds were not satisfied
|
||||
error[E0599]: the function or associated item `foo` exists for struct `Foo<_>`, but its trait bounds were not satisfied
|
||||
--> $DIR/issue-69654.rs:17:10
|
||||
|
|
||||
LL | struct Foo<const N: usize> {}
|
||||
| -------------------------- function or associated item `foo` not found for this struct
|
||||
...
|
||||
LL | Foo::foo();
|
||||
| ^^^ function or associated item cannot be called on `Foo<{_: usize}>` due to unsatisfied trait bounds
|
||||
| ^^^ function or associated item cannot be called on `Foo<_>` due to unsatisfied trait bounds
|
||||
|
|
||||
= note: the following trait bounds were not satisfied:
|
||||
`[u8; _]: Bar<[(); _]>`
|
||||
|
||||
@ -34,21 +34,21 @@ LL | IsLessOrEqual<{ 8 - I }, { 8 - J }>: True,
|
||||
= help: const parameters may only be used as standalone arguments, i.e. `J`
|
||||
= help: use `#![feature(generic_const_exprs)]` to allow generic const expressions
|
||||
|
||||
error[E0283]: type annotations needed: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
|
||||
error[E0283]: type annotations needed: cannot satisfy `IsLessOrEqual<I, 8>: True`
|
||||
--> $DIR/issue-72787.rs:21:26
|
||||
|
|
||||
LL | IsLessOrEqual<I, 8>: True,
|
||||
| ^^^^
|
||||
|
|
||||
= note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
|
||||
= note: cannot satisfy `IsLessOrEqual<I, 8>: True`
|
||||
|
||||
error[E0283]: type annotations needed: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
|
||||
error[E0283]: type annotations needed: cannot satisfy `IsLessOrEqual<I, 8>: True`
|
||||
--> $DIR/issue-72787.rs:21:26
|
||||
|
|
||||
LL | IsLessOrEqual<I, 8>: True,
|
||||
| ^^^^
|
||||
|
|
||||
= note: cannot satisfy `IsLessOrEqual<I, 8_u32>: True`
|
||||
= note: cannot satisfy `IsLessOrEqual<I, 8>: True`
|
||||
|
||||
error: aborting due to 6 previous errors
|
||||
|
||||
|
||||
@ -2,10 +2,13 @@
|
||||
#![allow(incomplete_features)]
|
||||
|
||||
type Arr<const N: usize> = [u8; N - 1];
|
||||
//~^ ERROR evaluation of `Arr::<0_usize>::{constant#0}` failed
|
||||
//~^ ERROR evaluation of `Arr::<0>::{constant#0}` failed
|
||||
|
||||
fn test<const N: usize>() -> Arr<N> where [u8; N - 1]: Sized {
|
||||
//~^ ERROR evaluation of `test::<0_usize>::{constant#0}` failed
|
||||
fn test<const N: usize>() -> Arr<N>
|
||||
where
|
||||
[u8; N - 1]: Sized,
|
||||
//~^ ERROR evaluation of `test::<0>::{constant#0}` failed
|
||||
{
|
||||
todo!()
|
||||
}
|
||||
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
error[E0080]: evaluation of `test::<0_usize>::{constant#0}` failed
|
||||
--> $DIR/simple_fail.rs:7:48
|
||||
error[E0080]: evaluation of `test::<0>::{constant#0}` failed
|
||||
--> $DIR/simple_fail.rs:9:10
|
||||
|
|
||||
LL | fn test<const N: usize>() -> Arr<N> where [u8; N - 1]: Sized {
|
||||
| ^^^^^ attempt to compute `0_usize - 1_usize`, which would overflow
|
||||
LL | [u8; N - 1]: Sized,
|
||||
| ^^^^^ attempt to compute `0_usize - 1_usize`, which would overflow
|
||||
|
||||
error[E0080]: evaluation of `Arr::<0_usize>::{constant#0}` failed
|
||||
error[E0080]: evaluation of `Arr::<0>::{constant#0}` failed
|
||||
--> $DIR/simple_fail.rs:4:33
|
||||
|
|
||||
LL | type Arr<const N: usize> = [u8; N - 1];
|
||||
|
||||
@ -6,8 +6,8 @@ LL | let _: [u8; 17] = foo();
|
||||
|
|
||||
help: consider specifying the generic arguments
|
||||
|
|
||||
LL | let _: [u8; 17] = foo::<17_usize, M>();
|
||||
| +++++++++++++++
|
||||
LL | let _: [u8; 17] = foo::<17, M>();
|
||||
| +++++++++
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -8,12 +8,12 @@ LL | | value: 3,
|
||||
LL | | nested: &Bar(5),
|
||||
LL | | }
|
||||
LL | | }> = x;
|
||||
| | - ^ expected `Foo { value: 3_i32, nested: &Bar::<i32>(5_i32) }`, found `Foo { value: 3_i32, nested: &Bar::<i32>(4_i32) }`
|
||||
| | - ^ expected `Foo { value: 3, nested: &Bar::<i32>(5) }`, found `Foo { value: 3, nested: &Bar::<i32>(4) }`
|
||||
| |______|
|
||||
| expected due to this
|
||||
|
|
||||
= note: expected struct `Test<Foo { value: 3_i32, nested: &Bar::<i32>(5_i32) }>`
|
||||
found struct `Test<Foo { value: 3_i32, nested: &Bar::<i32>(4_i32) }>`
|
||||
= note: expected struct `Test<Foo { value: 3, nested: &Bar::<i32>(5) }>`
|
||||
found struct `Test<Foo { value: 3, nested: &Bar::<i32>(4) }>`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
error[E0015]: cannot call non-const fn `Foo::{constant#0}::Foo::<17_usize>::value` in constants
|
||||
error[E0015]: cannot call non-const fn `Foo::{constant#0}::Foo::<17>::value` in constants
|
||||
--> $DIR/nested-type.rs:15:5
|
||||
|
|
||||
LL | Foo::<17>::value()
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
error[E0277]: the trait bound `A<{_: usize}>: Bar<{_: usize}>` is not satisfied
|
||||
error[E0277]: the trait bound `A<_>: Bar<_>` is not satisfied
|
||||
--> $DIR/unused-substs-1.rs:12:13
|
||||
|
|
||||
LL | let _ = A;
|
||||
| ^ the trait `Bar<{_: usize}>` is not implemented for `A<{_: usize}>`
|
||||
| ^ the trait `Bar<_>` is not implemented for `A<_>`
|
||||
|
|
||||
= help: the trait `Bar<N>` is implemented for `A<7_usize>`
|
||||
= help: the trait `Bar<N>` is implemented for `A<7>`
|
||||
note: required by a bound in `A`
|
||||
--> $DIR/unused-substs-1.rs:9:11
|
||||
|
|
||||
|
||||
@ -2,10 +2,10 @@ error[E0308]: mismatched types
|
||||
--> $DIR/types-mismatch-const-args.rs:14:41
|
||||
|
|
||||
LL | let _: A<'a, u32, {2u32}, {3u32}> = A::<'a, u32, {2u32 + 2u32}, {3u32}> { data: PhantomData };
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `2_u32`, found `4_u32`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `2`, found `4`
|
||||
|
|
||||
= note: expected type `2_u32`
|
||||
found type `4_u32`
|
||||
= note: expected type `2`
|
||||
found type `4`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/types-mismatch-const-args.rs:16:41
|
||||
@ -26,8 +26,8 @@ LL | let _: A<'a, u16, {4u32}, {3u32}> = A::<'b, u32, {2u32}, {3u32}> { data
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
= note: expected struct `A<'a, u16, 4_u32, _>`
|
||||
found struct `A<'b, u32, 2_u32, _>`
|
||||
= note: expected struct `A<'a, u16, 4, _>`
|
||||
found struct `A<'b, u32, 2, _>`
|
||||
|
||||
error: aborting due to 3 previous errors
|
||||
|
||||
|
||||
@ -2,12 +2,12 @@ error[E0308]: mismatched types
|
||||
--> $DIR/types-mismatch-const-args.rs:14:41
|
||||
|
|
||||
LL | let _: A<'a, u32, {2u32}, {3u32}> = A::<'a, u32, {2u32 + 2u32}, {3u32}> { data: PhantomData };
|
||||
| -------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `2_u32`, found `4_u32`
|
||||
| -------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `2`, found `4`
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
= note: expected struct `A<'_, _, 2_u32, _>`
|
||||
found struct `A<'_, _, 4_u32, _>`
|
||||
= note: expected struct `A<'_, _, 2, _>`
|
||||
found struct `A<'_, _, 4, _>`
|
||||
|
||||
error[E0308]: mismatched types
|
||||
--> $DIR/types-mismatch-const-args.rs:16:41
|
||||
@ -28,8 +28,8 @@ LL | let _: A<'a, u16, {4u32}, {3u32}> = A::<'b, u32, {2u32}, {3u32}> { data
|
||||
| |
|
||||
| expected due to this
|
||||
|
|
||||
= note: expected struct `A<'a, u16, 4_u32, _>`
|
||||
found struct `A<'b, u32, 2_u32, _>`
|
||||
= note: expected struct `A<'a, u16, 4, _>`
|
||||
found struct `A<'b, u32, 2, _>`
|
||||
|
||||
error: aborting due to 3 previous errors
|
||||
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
error[E0080]: evaluation of `post_monomorphization_error::ValidateConstImm::<2_i32, 0_i32, 1_i32>::VALID` failed
|
||||
error[E0080]: evaluation of `post_monomorphization_error::ValidateConstImm::<2, 0, 1>::VALID` failed
|
||||
--> $DIR/auxiliary/post_monomorphization_error.rs:7:17
|
||||
|
|
||||
LL | let _ = 1 / ((IMM >= MIN && IMM <= MAX) as usize);
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ attempt to divide `1_usize` by zero
|
||||
|
||||
note: the above error was encountered while instantiating `fn post_monomorphization_error::stdarch_intrinsic::<2_i32>`
|
||||
note: the above error was encountered while instantiating `fn post_monomorphization_error::stdarch_intrinsic::<2>`
|
||||
--> $DIR/issue-85155.rs:19:5
|
||||
|
|
||||
LL | post_monomorphization_error::stdarch_intrinsic::<2>();
|
||||
|
||||
@ -104,7 +104,7 @@ error[E0366]: `Drop` impls cannot be specialized
|
||||
LL | impl Drop for X<3> { fn drop(&mut self) { } } // REJECT
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||
|
|
||||
= note: `3_usize` is not a generic parameter
|
||||
= note: `3` is not a generic parameter
|
||||
note: use the same sequence of generic lifetime, type and const parameters as the struct definition
|
||||
--> $DIR/reject-specialized-drops-8142.rs:17:1
|
||||
|
|
||||
|
||||
@ -12,13 +12,13 @@ note: the above error was encountered while instantiating `fn foo::<i32>`
|
||||
LL | foo::<i32>();
|
||||
| ^^^^^^^^^^^^
|
||||
|
||||
error[E0080]: evaluation of `bar::<0_usize>::{constant#0}` failed
|
||||
error[E0080]: evaluation of `bar::<0>::{constant#0}` failed
|
||||
--> $DIR/const-expr-generic-err.rs:9:13
|
||||
|
|
||||
LL | const { N - 1 }
|
||||
| ^^^^^ attempt to compute `0_usize - 1_usize`, which would overflow
|
||||
|
||||
note: the above error was encountered while instantiating `fn bar::<0_usize>`
|
||||
note: the above error was encountered while instantiating `fn bar::<0>`
|
||||
--> $DIR/const-expr-generic-err.rs:14:5
|
||||
|
|
||||
LL | bar::<0>();
|
||||
|
||||
@ -116,7 +116,7 @@ warning: taking a reference to a function item does not give a function pointer
|
||||
--> $DIR/function-item-references.rs:118:22
|
||||
|
|
||||
LL | println!("{:p}", &take_generic_array::<u32, 4>);
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: cast `take_generic_array` to obtain a function pointer: `take_generic_array::<u32, 4_usize> as fn(_)`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: cast `take_generic_array` to obtain a function pointer: `take_generic_array::<u32, 4> as fn(_)`
|
||||
|
||||
warning: taking a reference to a function item does not give a function pointer
|
||||
--> $DIR/function-item-references.rs:120:22
|
||||
@ -128,7 +128,7 @@ warning: taking a reference to a function item does not give a function pointer
|
||||
--> $DIR/function-item-references.rs:122:22
|
||||
|
|
||||
LL | println!("{:p}", &multiple_generic_arrays::<u32, f32, 4, 8>);
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: cast `multiple_generic_arrays` to obtain a function pointer: `multiple_generic_arrays::<u32, f32, 4_usize, 8_usize> as fn(_, _)`
|
||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: cast `multiple_generic_arrays` to obtain a function pointer: `multiple_generic_arrays::<u32, f32, 4, 8> as fn(_, _)`
|
||||
|
||||
warning: taking a reference to a function item does not give a function pointer
|
||||
--> $DIR/function-item-references.rs:124:22
|
||||
|
||||
@ -61,13 +61,13 @@ impl Other {
|
||||
fn other(&self) {}
|
||||
}
|
||||
|
||||
struct Struct<T>{
|
||||
_phatom: PhantomData<T>
|
||||
struct Struct<T> {
|
||||
_phatom: PhantomData<T>,
|
||||
}
|
||||
|
||||
impl<T> Default for Struct<T> {
|
||||
fn default() -> Self {
|
||||
Self{ _phatom: PhantomData }
|
||||
Self { _phatom: PhantomData }
|
||||
}
|
||||
}
|
||||
|
||||
@ -76,9 +76,9 @@ impl<T: Clone + Copy + PartialEq + Eq + PartialOrd + Ord> Struct<T> {
|
||||
}
|
||||
|
||||
fn main() {
|
||||
let point_f64 = Point{ x: 1_f64, y: 1_f64};
|
||||
let point_f64 = Point { x: 1_f64, y: 1_f64 };
|
||||
let d = point_f64.distance();
|
||||
let point_i32 = Point{ x: 1_i32, y: 1_i32};
|
||||
let point_i32 = Point { x: 1_i32, y: 1_i32 };
|
||||
let d = point_i32.distance();
|
||||
//~^ ERROR no method named `distance` found for struct `Point<i32>
|
||||
let d = point_i32.other();
|
||||
@ -92,9 +92,9 @@ fn main() {
|
||||
wrapper.other();
|
||||
//~^ ERROR no method named `other` found for struct `Wrapper
|
||||
let boolean = true;
|
||||
let wrapper = Wrapper2::<'_, _, 3> {x: &boolean};
|
||||
let wrapper = Wrapper2::<'_, _, 3> { x: &boolean };
|
||||
wrapper.method();
|
||||
//~^ ERROR no method named `method` found for struct `Wrapper2<'_, bool, 3_usize>
|
||||
//~^ ERROR no method named `method` found for struct `Wrapper2<'_, bool, 3>
|
||||
wrapper.other();
|
||||
//~^ ERROR no method named `other` found for struct `Wrapper2
|
||||
let a = vec![1, 2, 3];
|
||||
|
||||
@ -50,14 +50,14 @@ LL | struct Wrapper<T>(T);
|
||||
LL | wrapper.other();
|
||||
| ^^^^^ method not found in `Wrapper<bool>`
|
||||
|
||||
error[E0599]: no method named `method` found for struct `Wrapper2<'_, bool, 3_usize>` in the current scope
|
||||
error[E0599]: no method named `method` found for struct `Wrapper2<'_, bool, 3>` in the current scope
|
||||
--> $DIR/method-not-found-generic-arg-elision.rs:96:13
|
||||
|
|
||||
LL | struct Wrapper2<'a, T, const C: usize> {
|
||||
| -------------------------------------- method `method` not found for this struct
|
||||
...
|
||||
LL | wrapper.method();
|
||||
| ^^^^^^ method not found in `Wrapper2<'_, bool, 3_usize>`
|
||||
| ^^^^^^ method not found in `Wrapper2<'_, bool, 3>`
|
||||
|
|
||||
= note: the method was found for
|
||||
- `Wrapper2<'a, i8, C>`
|
||||
@ -71,7 +71,7 @@ LL | struct Wrapper2<'a, T, const C: usize> {
|
||||
| -------------------------------------- method `other` not found for this struct
|
||||
...
|
||||
LL | wrapper.other();
|
||||
| ^^^^^ method not found in `Wrapper2<'_, bool, 3_usize>`
|
||||
| ^^^^^ method not found in `Wrapper2<'_, bool, 3>`
|
||||
|
||||
error[E0599]: no method named `not_found` found for struct `Vec<{integer}>` in the current scope
|
||||
--> $DIR/method-not-found-generic-arg-elision.rs:101:7
|
||||
@ -82,7 +82,7 @@ LL | a.not_found();
|
||||
error[E0599]: the method `method` exists for struct `Struct<f64>`, but its trait bounds were not satisfied
|
||||
--> $DIR/method-not-found-generic-arg-elision.rs:104:7
|
||||
|
|
||||
LL | struct Struct<T>{
|
||||
LL | struct Struct<T> {
|
||||
| ---------------- method `method` not found for this struct
|
||||
...
|
||||
LL | s.method();
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
error[E0511]: invalid monomorphization of `simd_shuffle` intrinsic: expected return type of length 2, found `Simd<u32, 4_usize>` with length 4
|
||||
error[E0511]: invalid monomorphization of `simd_shuffle` intrinsic: expected return type of length 2, found `Simd<u32, 4>` with length 4
|
||||
--> $DIR/generic-shuffle.rs:24:31
|
||||
|
|
||||
LL | let _: Simd<u32, 4> = simd_shuffle(v, v, I);
|
||||
| ^^^^^^^^^^^^^^^^^^^^^
|
||||
|
||||
error[E0511]: invalid monomorphization of `simd_shuffle` intrinsic: expected return element type `u32` (element of input `Simd<u32, 4_usize>`), found `Simd<f32, 2_usize>` with element type `f32`
|
||||
error[E0511]: invalid monomorphization of `simd_shuffle` intrinsic: expected return element type `u32` (element of input `Simd<u32, 4>`), found `Simd<f32, 2>` with element type `f32`
|
||||
--> $DIR/generic-shuffle.rs:27:31
|
||||
|
|
||||
LL | let _: Simd<f32, 2> = simd_shuffle(v, v, I);
|
||||
|
||||
@ -2,37 +2,37 @@ error[E0599]: no method named `ceil` found for struct `Simd` in the current scop
|
||||
--> $DIR/libm_no_std_cant_float.rs:14:17
|
||||
|
|
||||
LL | let _xc = x.ceil();
|
||||
| ^^^^ method not found in `Simd<f32, 4_usize>`
|
||||
| ^^^^ method not found in `Simd<f32, 4>`
|
||||
|
||||
error[E0599]: no method named `floor` found for struct `Simd` in the current scope
|
||||
--> $DIR/libm_no_std_cant_float.rs:15:17
|
||||
|
|
||||
LL | let _xf = x.floor();
|
||||
| ^^^^^ method not found in `Simd<f32, 4_usize>`
|
||||
| ^^^^^ method not found in `Simd<f32, 4>`
|
||||
|
||||
error[E0599]: no method named `round` found for struct `Simd` in the current scope
|
||||
--> $DIR/libm_no_std_cant_float.rs:16:17
|
||||
|
|
||||
LL | let _xr = x.round();
|
||||
| ^^^^^ method not found in `Simd<f32, 4_usize>`
|
||||
| ^^^^^ method not found in `Simd<f32, 4>`
|
||||
|
||||
error[E0599]: no method named `trunc` found for struct `Simd` in the current scope
|
||||
--> $DIR/libm_no_std_cant_float.rs:17:17
|
||||
|
|
||||
LL | let _xt = x.trunc();
|
||||
| ^^^^^ method not found in `Simd<f32, 4_usize>`
|
||||
| ^^^^^ method not found in `Simd<f32, 4>`
|
||||
|
||||
error[E0599]: no method named `mul_add` found for struct `Simd` in the current scope
|
||||
--> $DIR/libm_no_std_cant_float.rs:18:19
|
||||
|
|
||||
LL | let _xfma = x.mul_add(x, x);
|
||||
| ^^^^^^^ method not found in `Simd<f32, 4_usize>`
|
||||
| ^^^^^^^ method not found in `Simd<f32, 4>`
|
||||
|
||||
error[E0599]: no method named `sqrt` found for struct `Simd` in the current scope
|
||||
--> $DIR/libm_no_std_cant_float.rs:19:20
|
||||
|
|
||||
LL | let _xsqrt = x.sqrt();
|
||||
| ^^^^ method not found in `Simd<f32, 4_usize>`
|
||||
| ^^^^ method not found in `Simd<f32, 4>`
|
||||
|
||||
error: aborting due to 6 previous errors
|
||||
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
|
||||
#![feature(repr_simd, platform_intrinsics)]
|
||||
|
||||
// error-pattern:monomorphising SIMD type `Simd<0_usize>` of zero length
|
||||
// error-pattern:monomorphising SIMD type `Simd<0>` of zero length
|
||||
|
||||
#[repr(simd)]
|
||||
struct Simd<const N: usize>([f32; N]);
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
error: monomorphising SIMD type `Simd<0_usize>` of zero length
|
||||
error: monomorphising SIMD type `Simd<0>` of zero length
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -2,7 +2,7 @@
|
||||
|
||||
#![feature(repr_simd, platform_intrinsics)]
|
||||
|
||||
// error-pattern:monomorphising SIMD type `Simd<65536_usize>` of length greater than 32768
|
||||
// error-pattern:monomorphising SIMD type `Simd<65536>` of length greater than 32768
|
||||
|
||||
#[repr(simd)]
|
||||
struct Simd<const N: usize>([f32; N]);
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
error: monomorphising SIMD type `Simd<65536_usize>` of length greater than 32768
|
||||
error: monomorphising SIMD type `Simd<65536>` of length greater than 32768
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
|
||||
@ -25,7 +25,7 @@ error: non-defining opaque type use in defining scope
|
||||
LL | 7u32
|
||||
| ^^^^
|
||||
|
|
||||
note: used non-generic constant `123_usize` for generic parameter
|
||||
note: used non-generic constant `123` for generic parameter
|
||||
--> $DIR/generic_nondefining_use.rs:11:15
|
||||
|
|
||||
LL | type OneConst<const X: usize> = impl Debug;
|
||||
|
||||
Loading…
Reference in New Issue
Block a user