Skip to content

Commit 5e49f79

Browse files
committed
Add test for issue #29595
1 parent f573db4 commit 5e49f79

File tree

2 files changed

+29
-0
lines changed

2 files changed

+29
-0
lines changed

src/test/ui/span/issue-29595.rs

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
#![feature(associated_consts)]
12+
13+
trait Tr {
14+
const C: Self;
15+
}
16+
17+
fn main() {
18+
let a: u8 = Tr::C; //~ ERROR the trait bound `u8: Tr` is not satisfied
19+
}

src/test/ui/span/issue-29595.stderr

+10
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
error[E0277]: the trait bound `u8: Tr` is not satisfied
2+
--> $DIR/issue-29595.rs:18:17
3+
|
4+
18 | let a: u8 = Tr::C; //~ ERROR the trait bound `u8: Tr` is not satisfied
5+
| ^^^^^ the trait `Tr` is not implemented for `u8`
6+
|
7+
= note: required by `Tr::C`
8+
9+
error: aborting due to previous error
10+

0 commit comments

Comments
 (0)