tests/ui/dst/issue-90528-unsizing-suggestion-1.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// Issue #90528: provide helpful suggestions when a trait bound is unsatisfied
// due to a missed unsizing coercion.
//
// This test exercises array literals and a trait implemented on immutable slices.

trait Read {}

impl Read for &[u8] {}

fn wants_read(_: impl Read) {}

fn main() {
    wants_read([0u8]);
    //~^ ERROR the trait bound `[u8; 1]: Read` is not satisfied
    wants_read(&[0u8]);
    //~^ ERROR the trait bound `&[u8; 1]: Read` is not satisfied
    wants_read(&[0u8][..]);
    wants_read(&mut [0u8]);
    //~^ ERROR the trait bound `&mut [u8; 1]: Read` is not satisfied
}