CoAlloc: tests

Author: peter-lyons-kehl

tests/ui/const-generics/occurs-check/unused-substs-3.stderr

@@ -2,9 +2,14 @@ error[E0308]: mismatched types
   --> $DIR/unused-substs-3.rs:16:9
    |
 LL |     t = foo;
-   |         ^^^- help: try using a conversion method: `.to_vec()`
-   |         |
-   |         cyclic type of infinite size
+   |         ^^^ cyclic type of infinite size
+   |
+help: try using a conversion method
+   |
+LL |     t = foo.to_vec();
+   |            +++++++++
+LL |     t = foo.to_vec_co();
+   |            ++++++++++++
 
 error: aborting due to previous error
 

tests/ui/const-generics/occurs-check/unused-substs-5.stderr

@@ -2,9 +2,14 @@ error[E0308]: mismatched types
   --> $DIR/unused-substs-5.rs:15:9
    |
 LL |     x = q::<_, N>(x);
-   |         ^^^^^^^^^^^^- help: try using a conversion method: `.to_vec()`
-   |         |
-   |         cyclic type of infinite size
+   |         ^^^^^^^^^^^^ cyclic type of infinite size
+   |
+help: try using a conversion method
+   |
+LL |     x = q::<_, N>(x).to_vec();
+   |                     +++++++++
+LL |     x = q::<_, N>(x).to_vec_co();
+   |                     ++++++++++++
 
 error: aborting due to previous error
 

tests/ui/consts/too_generic_eval_ice.stderr

@@ -23,9 +23,9 @@ LL |         [5; Self::HOST_SIZE] == [6; 0]
    = help: the trait `PartialEq<[{integer}; 0]>` is not implemented for `[{integer}; Self::HOST_SIZE]`
    = help: the following other types implement trait `PartialEq<Rhs>`:
              <&[B] as PartialEq<[A; N]>>
-             <&[T] as PartialEq<Vec<U, A>>>
+             <&[T] as PartialEq<Vec<U, A, CO_ALLOC_PREF>>>
              <&mut [B] as PartialEq<[A; N]>>
-             <&mut [T] as PartialEq<Vec<U, A>>>
+             <&mut [T] as PartialEq<Vec<U, A, CO_ALLOC_PREF>>>
              <[A; N] as PartialEq<&[B]>>
              <[A; N] as PartialEq<&mut [B]>>
              <[A; N] as PartialEq<[B; N]>>

tests/ui/hygiene/panic-location.run.stderr

@@ -1,2 +1,2 @@
-thread 'main' panicked at 'capacity overflow', library/alloc/src/raw_vec.rs:525:5
+thread 'main' panicked at 'capacity overflow', library/alloc/src/raw_vec.rs:600:5
 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

tests/ui/suggestions/deref-path-method.rs

@@ -1,6 +1,6 @@
 fn main() {
     let vec = Vec::new();
     Vec::contains(&vec, &0);
-    //~^ ERROR no function or associated item named `contains` found for struct `Vec<_, _>` in the current scope
+    //~^ ERROR no function or associated item named `contains` found for struct `Vec<_, _, _>` in the current scope
     //~| HELP the function `contains` is implemented on `[_]`
 }

tests/ui/suggestions/deref-path-method.stderr

@@ -1,8 +1,8 @@
-error[E0599]: no function or associated item named `contains` found for struct `Vec<_, _>` in the current scope
+error[E0599]: no function or associated item named `contains` found for struct `Vec<_, _, _>` in the current scope
   --> $DIR/deref-path-method.rs:3:10
    |
 LL |     Vec::contains(&vec, &0);
-   |          ^^^^^^^^ function or associated item not found in `Vec<_, _>`
+   |          ^^^^^^^^ function or associated item not found in `Vec<_, _, _>`
    |
 help: the function `contains` is implemented on `[_]`
    |

tests/ui/type/type-check/point-at-inference-2.stderr

@@ -6,8 +6,8 @@ LL |     bar(v);
    |     |
    |     arguments to this function are incorrect
    |
-   = note: expected struct `Vec<i32>`
-              found struct `Vec<&{integer}>`
+   = note: expected struct `Vec<i32, _>`
+              found struct `Vec<&{integer}, _>`
 note: function defined here
   --> $DIR/point-at-inference-2.rs:1:4
    |
@@ -25,8 +25,8 @@ LL |     bar(v);
    |     |
    |     arguments to this function are incorrect
    |
-   = note: expected struct `Vec<i32>`
-              found struct `Vec<&i32>`
+   = note: expected struct `Vec<i32, _>`
+              found struct `Vec<&i32, _>`
 note: function defined here
   --> $DIR/point-at-inference-2.rs:1:4
    |
@@ -43,8 +43,8 @@ LL |     bar(v);
    |     |
    |     arguments to this function are incorrect
    |
-   = note: expected struct `Vec<i32>`
-              found struct `Vec<&i32>`
+   = note: expected struct `Vec<i32, _>`
+              found struct `Vec<&i32, _>`
 note: function defined here
   --> $DIR/point-at-inference-2.rs:1:4
    |

tests/ui/type/type-check/point-at-inference.stderr

@@ -9,8 +9,8 @@ LL |     bar(foo);
    |     |
    |     arguments to this function are incorrect
    |
-   = note: expected struct `Vec<i32>`
-              found struct `Vec<&{integer}>`
+   = note: expected struct `Vec<i32, _>`
+              found struct `Vec<&{integer}, _>`
 note: function defined here
   --> $DIR/point-at-inference.rs:2:4
    |

tests/ui/typeck/conversion-methods.stderr

@@ -39,6 +39,8 @@ help: try using a conversion method
    |
 LL |     let _prove_piercing_earnest: Vec<usize> = (&[1, 2, 3]).to_vec();
    |                                               +          ++++++++++
+LL |     let _prove_piercing_earnest: Vec<usize> = (&[1, 2, 3]).to_vec_co();
+   |                                               +          +++++++++++++
 
 error: aborting due to 4 previous errors