Add a regression test

This commit is contained in:
Yuki Okushi 2020-03-07 04:38:50 +09:00
parent 1631b4de1c
commit 3d67649287
No known key found for this signature in database
GPG key ID: B0986C85C0E2DAA1
3 changed files with 37 additions and 0 deletions

View file

@ -0,0 +1,8 @@
#[derive(Clone)]
pub struct Struct<A>(A);
impl<A> Struct<A> {
pub fn new() -> Self {
todo!()
}
}

View file

@ -0,0 +1,11 @@
// aux-build:issue-69725.rs
extern crate issue_69725;
use issue_69725::Struct;
fn crash<A>() {
let _ = Struct::<A>::new().clone();
//~^ ERROR: no method named `clone` found
}
fn main() {}

View file

@ -0,0 +1,18 @@
error[E0599]: no method named `clone` found for struct `issue_69725::Struct<A>` in the current scope
--> $DIR/issue-69725.rs:7:32
|
LL | let _ = Struct::<A>::new().clone();
| ^^^^^ method not found in `issue_69725::Struct<A>`
|
::: $DIR/auxiliary/issue-69725.rs:2:1
|
LL | pub struct Struct<A>(A);
| ------------------------ doesn't satisfy `issue_69725::Struct<A>: std::clone::Clone`
|
= note: the method `clone` exists but the following trait bounds were not satisfied:
`A: std::clone::Clone`
which is required by `issue_69725::Struct<A>: std::clone::Clone`
error: aborting due to previous error
For more information about this error, try `rustc --explain E0599`.