mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-03 05:27:36 +00:00
83 lines
2.2 KiB
Rust
83 lines
2.2 KiB
Rust
|
// Copyright 2012-2015 The Rust Project Developers. See the COPYRIGHT
|
||
|
|
// file at the top-level directory of this distribution and at
|
||
|
|
// http://rust-lang.org/COPYRIGHT.
|
||
|
|
//
|
||
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
||
|
|
// option. This file may not be copied, modified, or distributed
|
||
|
|
// except according to those terms.
|
||
|
|
|
||
|
|
// ignore-tidy-linelength
|
||
|
|
// compile-flags:-Zprint-trans-items=eager
|
||
|
|
|
||
|
|
#![deny(dead_code)]
|
||
|
|
|
||
|
|
pub trait SomeTrait {
|
||
|
|
fn foo(&self);
|
||
|
|
fn bar<T>(&self, x: T);
|
||
|
|
}
|
||
|
|
|
||
|
|
impl SomeTrait for i64 {
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::i64.SomeTrait[0]::foo[0]
|
||
|
|
fn foo(&self) {}
|
||
|
|
|
||
|
|
fn bar<T>(&self, _: T) {}
|
||
|
|
}
|
||
|
|
|
||
|
|
impl SomeTrait for i32 {
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::i32.SomeTrait[0]::foo[0]
|
||
|
|
fn foo(&self) {}
|
||
|
|
|
||
|
|
fn bar<T>(&self, _: T) {}
|
||
|
|
}
|
||
|
|
|
||
|
|
pub trait SomeGenericTrait<T> {
|
||
|
|
fn foo(&self, x: T);
|
||
|
|
fn bar<T2>(&self, x: T, y: T2);
|
||
|
|
}
|
||
|
|
|
||
|
|
// Concrete impl of generic trait
|
||
|
|
impl SomeGenericTrait<u32> for f64 {
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::f64.SomeGenericTrait<u32>[0]::foo[0]
|
||
|
|
fn foo(&self, _: u32) {}
|
||
|
|
|
||
|
|
fn bar<T2>(&self, _: u32, _: T2) {}
|
||
|
|
}
|
||
|
|
|
||
|
|
// Generic impl of generic trait
|
||
|
|
impl<T> SomeGenericTrait<T> for f32 {
|
||
|
|
|
||
|
|
fn foo(&self, _: T) {}
|
||
|
|
fn bar<T2>(&self, _: T, _: T2) {}
|
||
|
|
}
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::main[0]
|
||
|
|
fn main() {
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::i32.SomeTrait[0]::bar[0]<char>
|
||
|
|
0i32.bar('x');
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::f64.SomeGenericTrait<u32>[0]::bar[0]<&str>
|
||
|
|
0f64.bar(0u32, "&str");
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::f64.SomeGenericTrait<u32>[0]::bar[0]<()>
|
||
|
|
0f64.bar(0u32, ());
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::f32.SomeGenericTrait<T>[0]::foo[0]<char>
|
||
|
|
0f32.foo('x');
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::f32.SomeGenericTrait<T>[0]::foo[0]<i64>
|
||
|
|
0f32.foo(-1i64);
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::f32.SomeGenericTrait<T>[0]::bar[0]<u32, ()>
|
||
|
|
0f32.bar(0u32, ());
|
||
|
|
|
||
|
|
//~ TRANS_ITEM fn trait_implementations::f32.SomeGenericTrait<T>[0]::bar[0]<&str, &str>
|
||
|
|
0f32.bar("&str", "&str");
|
||
|
|
}
|
||
|
|
|
||
|
|
//~ TRANS_ITEM drop-glue i8
|