Skip to content
This repository has been archived by the owner on May 23, 2024. It is now read-only.

Commit

Permalink
Merge pull request #419 from JohnTitor/add-ices
Browse files Browse the repository at this point in the history
  • Loading branch information
JohnTitor authored Jul 6, 2020
2 parents 7b8efbe + e003505 commit e06cb03
Show file tree
Hide file tree
Showing 9 changed files with 54 additions and 4 deletions.
2 changes: 1 addition & 1 deletion fixed/73109.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#/bin/bash
#!/bin/bash

rustc -Z validate-mir - <<EOF
fn main() {
Expand Down
2 changes: 1 addition & 1 deletion ices/73021.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#/bin/bash
#!/bin/bash

rustc --emit mir -Z mir-opt-level=2 - <<EOF
// build-pass
Expand Down
2 changes: 1 addition & 1 deletion ices/73260.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#/bin/bash
#!/bin/bash

rustc -Z save-analysis - << EOF
#![feature(const_generics)]
Expand Down
2 changes: 1 addition & 1 deletion ices/73626.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#/bin/bash
#!/bin/bash

rustc -Zunstable-options --pretty=expanded - << EOF
fn main(/*
Expand Down
8 changes: 8 additions & 0 deletions ices/73860.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
#!/bin/bash

rustc -Zvalidate-mir - << EOF
fn main() {
for _ in &[0] {}
}
EOF
10 changes: 10 additions & 0 deletions ices/73980.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
struct X<P,Q>(P,Q);
struct L<T:?Sized>(T);

impl<T:?Sized> L<T>{
const S: usize=1;
}

impl<T> X<T,[u8;L::<T>::S]> {}

fn main() {}
7 changes: 7 additions & 0 deletions ices/73993.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
#![crate_type = "lib"]

pub struct Fixed64(i64);

pub fn div(f: Fixed64) {
f.0 / 0;
}
11 changes: 11 additions & 0 deletions ices/74018.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
trait Trait {
type Associated;
fn into(self) -> Self::Associated;
}

impl<'a, I: Iterator<Item = i32>> Trait for (i32, I) {
type Associated = (i32, impl Iterator<Item = i32>);
fn into(self) -> Self::Associated { (0_i32, &[0_i32].iter()) }
}

fn main() {}
14 changes: 14 additions & 0 deletions ices/74047.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
use std::convert::{TryFrom, TryInto};
use std::io;

pub struct MyStream;
pub struct OtherStream;

pub async fn connect() -> io::Result<MyStream> {
let stream: MyStream = OtherStream.try_into()?;
Ok(stream)
}

impl TryFrom<OtherStream> for MyStream {}

fn main() {}

0 comments on commit e06cb03

Please sign in to comment.