tests/ui/lazy-type-alias/unconstrained-params-in-impl-due-to-overflow.rs


1
2
3
4
5
6
7
8

#![feature(lazy_type_alias)]
#![allow(incomplete_features)]

impl<T> Loop<T> {} //~ ERROR the type parameter `T` is not constrained

type Loop<T> = Loop<T>; //~ ERROR overflow

fn main() {}