// priv-in-pub lint tests where the private type appears in the // `where` clause of a public item #![crate_type = "lib"] #![feature(generic_const_exprs)] #![allow(incomplete_features)] struct PrivTy; trait PrivTr {} pub struct PubTy; pub struct PubTyGeneric(T); pub trait PubTr {} impl PubTr for PrivTy {} pub trait PubTrWithAssocTy { type AssocTy; } impl PubTrWithAssocTy for PrivTy { type AssocTy = PrivTy; } pub struct S //~^ WARNING private type `PrivTy` in public interface //~| WARNING hard error where PrivTy: {} pub enum E //~^ WARNING private type `PrivTy` in public interface //~| WARNING hard error where PrivTy: {} pub fn f() //~^ WARNING private type `PrivTy` in public interface //~| WARNING hard error where PrivTy: {} impl S //~^ ERROR private type `PrivTy` in public interface where PrivTy: { pub fn f() //~^ WARNING private type `PrivTy` in public interface //~| WARNING hard error where PrivTy: {} } impl PubTr for PubTy where PrivTy: {} impl PubTr for PubTyGeneric where T: PubTrWithAssocTy {} pub struct Const; pub trait Trait { type AssocTy; fn assoc_fn() -> Self::AssocTy; } impl Trait for Const where Const<{ my_const_fn(U) }>: , { type AssocTy = Const<{ my_const_fn(U) }>; //~^ ERROR private type fn assoc_fn() -> Self::AssocTy { Const } } const fn my_const_fn(val: u8) -> u8 { // body of this function doesn't matter val }