Skip to content

text_example_rs - cast check needs structural norm #203

Closed
rust-lang/rust
#140713

Description

@compiler-errors

https://crater-reports.s3.amazonaws.com/pr-133502-11/try%2328f13ad7c79d80decb5a3d54595a8b4105f397a3/gh/BsoftLimited.text_example_rs/log.txt

trait Mirror {
    type Assoc: ?Sized;
}
impl<T: ?Sized> Mirror for T {
    type Assoc = T;
}

struct W<'a>(&'a <[f32; 0] as Mirror>::Assoc);

fn foo(x: W<'_>) -> *const f32 {
    x.0 as *const f32
}

fn main() {}

Activity

  1. added
    from-craterA regression found via a crater run, not part of our test suite
    on May 6, 2025
  2. moved this from unknown to in progress in -Znext-solver=globallyon May 6, 2025
  3. added a commit that references this issue on May 7, 2025
  4. added a commit that references this issue on May 7, 2025
  5. lcnr commented on May 8, 2025

    @lcnr
    Contributor
  6. moved this from in progress to done in -Znext-solver=globallyon May 8, 2025
  7. closed this as completedby moving to done in -Znext-solver=globallyon May 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

from-craterA regression found via a crater run, not part of our test suite

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions