Skip to content

Commit c117519

Browse files
committed
1 parent 5ca315a commit c117519

File tree

4 files changed

+62
-0
lines changed

4 files changed

+62
-0
lines changed

ices/101739.sh

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
#!/bin/bash
2+
3+
rustc -Zsave-analysis - <<'EOF'
4+
5+
#![feature(transmutability)]
6+
7+
mod assert {
8+
use std::mem::BikeshedIntrinsicFrom;
9+
10+
pub fn is_transmutable<Src, Context, const ASSUME_ALIGNMENT: bool>()
11+
where
12+
Dst: BikeshedIntrinsicFrom<Src, Context, ASSUME_ALIGNMENT>,
13+
{}
14+
}
15+
16+
fn via_const() {
17+
struct Context;
18+
struct Src;
19+
20+
assert::is_transmutable::<Src, Context, false>();
21+
}
22+
23+
EOF
24+

ices/101852.rs

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
pub fn ice(
2+
x: impl AsRef<str>,
3+
) -> impl IntoIterator<Item = ()> {
4+
vec![].append(&mut ice(x.as_ref()));
5+
6+
Vec::new()
7+
}
8+
9+
fn main() {
10+
}

ices/101940.rs

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
pub trait Trait {
2+
type Fut<'a> where Self: 'a;
3+
fn fun<'a, 'b>(&'a self, x: &'_ mut &'b ()) -> Self::Fut<'a>
4+
where
5+
'b: 'a;
6+
}
7+
impl Trait for () {
8+
type Fut<'a> = impl ::std::future::Future + 'a
9+
where
10+
Self: 'a;
11+
fn fun<'a, 'b>(&'a self, x: &'_ mut &'b ()) -> Self::Fut<'a>
12+
where
13+
'b: 'a,
14+
{
15+
async { }
16+
}
17+
}
18+
19+
pub fn main() {}

ices/101962.rs

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
#![feature(core_intrinsics)]
2+
3+
pub fn wrapping<T: Copy>(a: T, b: T) {
4+
let _z = core::intrinsics::wrapping_mul(a, b);
5+
}
6+
7+
pub fn main() {
8+
wrapping(1,2);
9+
}

0 commit comments

Comments
 (0)