mirror of https://github.com/rust-lang/rust
17 lines
337 B
Rust
17 lines
337 B
Rust
//! We evaluate `1 + 2` with `Reveal::All` during typeck, causing
|
|
//! us to get the concrete type of `Bar` while computing it.
|
|
//! This again requires type checking `foo`.
|
|
#![feature(type_alias_impl_trait)]
|
|
type Bar = impl Sized;
|
|
//~^ ERROR: cycle
|
|
//~| ERROR: cycle
|
|
|
|
fn foo() -> Bar
|
|
where
|
|
Bar: Send,
|
|
{
|
|
[0; 1 + 2]
|
|
}
|
|
|
|
fn main() {}
|