diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-10-03 19:12:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-03 19:12:19 +0200 |
| commit | aa076d6144581f9e80b0d0e7091e12c35d5f56ed (patch) | |
| tree | 2cc0280a33452e425a7abe2da581c4f1931c4fa6 /compiler/rustc_codegen_llvm/src | |
| parent | 3374a7d6f85081826e6256f97baca0795af29570 (diff) | |
| parent | 0e615caa8dc17b5d8ca87e956d37a37364cf5994 (diff) | |
| download | rust-aa076d6144581f9e80b0d0e7091e12c35d5f56ed.tar.gz rust-aa076d6144581f9e80b0d0e7091e12c35d5f56ed.zip | |
Rollup merge of #102613 - TaKO8Ki:fix-part-of-101739, r=compiler-errors
Fix ICE #101739
Fixes a part of #101739
This cannot cover the following case. It causes `too many args provided` error and obligation does not have references error. I want your advice to solve the following cases as well in this pull request or a follow-up.
```rust
#![crate_type = "lib"]
#![feature(transmutability)]
#![allow(dead_code, incomplete_features, non_camel_case_types)]
mod assert {
use std::mem::BikeshedIntrinsicFrom;
pub fn is_transmutable<
Src,
Dst,
Context,
const ASSUME_ALIGNMENT: bool,
const ASSUME_LIFETIMES: bool,
const ASSUME_VALIDITY: bool,
const ASSUME_VISIBILITY: bool,
>()
where
Dst: BikeshedIntrinsicFrom<
Src,
Context,
ASSUME_ALIGNMENT,
ASSUME_LIFETIMES,
ASSUME_VALIDITY,
ASSUME_VISIBILITY,
>,
{}
}
fn via_const() {
struct Context;
#[repr(C)] struct Src;
#[repr(C)] struct Dst;
const FALSE: bool = false;
assert::is_transmutable::<Src, Dst, Context, FALSE, FALSE, FALSE, FALSE>();
}
```
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions
