Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
23 lines (17 sloc) 454 Bytes
// build-pass (FIXME(62277): could be check-pass?)
// Test that `<Type as Trait>::Output` and `Self::Output` are accepted as type annotations in let
// bindings
// pretty-expanded FIXME #23616
trait Int {
fn one() -> Self;
fn leading_zeros(self) -> usize;
trait Foo {
type T : Int;
fn test(&self) {
let r: <Self as Foo>::T = Int::one();
let r: Self::T = Int::one();
fn main() {}
You can’t perform that action at this time.