diff --git a/fixed/73109.sh b/fixed/73109.sh index 5c89a37f..0385326b 100644 --- a/fixed/73109.sh +++ b/fixed/73109.sh @@ -1,4 +1,4 @@ -#/bin/bash +#!/bin/bash rustc -Z validate-mir - <(P,Q); +struct L(T); + +impl L{ + const S: usize=1; +} + +impl X::S]> {} + +fn main() {} diff --git a/ices/73993.rs b/ices/73993.rs new file mode 100644 index 00000000..1877c966 --- /dev/null +++ b/ices/73993.rs @@ -0,0 +1,7 @@ +#![crate_type = "lib"] + +pub struct Fixed64(i64); + +pub fn div(f: Fixed64) { + f.0 / 0; +} diff --git a/ices/74018.rs b/ices/74018.rs new file mode 100644 index 00000000..110079ad --- /dev/null +++ b/ices/74018.rs @@ -0,0 +1,11 @@ +trait Trait { + type Associated; + fn into(self) -> Self::Associated; +} + +impl<'a, I: Iterator> Trait for (i32, I) { + type Associated = (i32, impl Iterator); + fn into(self) -> Self::Associated { (0_i32, &[0_i32].iter()) } +} + +fn main() {} diff --git a/ices/74047.rs b/ices/74047.rs new file mode 100644 index 00000000..943d21b1 --- /dev/null +++ b/ices/74047.rs @@ -0,0 +1,14 @@ +use std::convert::{TryFrom, TryInto}; +use std::io; + +pub struct MyStream; +pub struct OtherStream; + +pub async fn connect() -> io::Result { + let stream: MyStream = OtherStream.try_into()?; + Ok(stream) +} + +impl TryFrom for MyStream {} + +fn main() {}