mirror of https://github.com/rust-lang/rust
33 lines
1.0 KiB
Rust
33 lines
1.0 KiB
Rust
//@ aux-build:private-inferred-type.rs
|
|
|
|
#![allow(warnings)]
|
|
#![allow(private_interfaces)]
|
|
|
|
extern crate private_inferred_type as ext;
|
|
|
|
mod m {
|
|
struct Priv;
|
|
pub type Alias = Priv;
|
|
|
|
pub trait Trait { type X; }
|
|
impl Trait for Priv { type X = u8; }
|
|
}
|
|
|
|
fn f(_: m::Alias) {} //~ ERROR type `Priv` is private
|
|
//~^ ERROR type `Priv` is private
|
|
fn f_ext(_: ext::Alias) {} //~ ERROR type `ext::Priv` is private
|
|
//~^ ERROR type `ext::Priv` is private
|
|
|
|
trait Tr1 {}
|
|
impl m::Alias {} //~ ERROR type `Priv` is private
|
|
impl Tr1 for ext::Alias {} //~ ERROR type `ext::Priv` is private
|
|
type A = <m::Alias as m::Trait>::X; //~ ERROR type `Priv` is private
|
|
|
|
trait Tr2<T> {}
|
|
impl<T> Tr2<T> for u8 {}
|
|
fn g() -> impl Tr2<m::Alias> { 0 } //~ ERROR type `Priv` is private
|
|
//~| ERROR type `Priv` is private
|
|
fn g_ext() -> impl Tr2<ext::Alias> { 0 } //~ ERROR type `ext::Priv` is private
|
|
//~| ERROR type `ext::Priv` is private
|
|
fn main() {}
|