Skip to content

kitsune2_test_utils regression: using pseudo-canonical queries in typeck #180

Closed
rust-lang/rust
#140308
@compiler-errors

Description

@compiler-errors

https://crater-reports.s3.amazonaws.com/pr-133502-2/try%23da0a4799770027c4c578bf48cdb390acfde09023/reg/kitsune2_test_utils-0.1.3/log.txt

Weird repro but it gets the job done:

struct W<T>(*const T);

impl<T: Send> Clone for W<T> {
    fn clone(&self) -> Self { W(self.0) }
}

impl<T: Send> Copy for W<T> {}

fn main() {
    let coro = async {};
    let x = W(&raw const coro);
    let c = || {
        let x = x;
    };
}

Due to the fact that we strip opaques and generators out of the typing env when checking is_copy_raw, which is done by the expr use visitor.

Metadata

Metadata

Labels

E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.from-craterA regression found via a crater run, not part of our test suite

Type

No type

Projects

Status

done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions