struct Kind;
struct Ty {
kind: Kind,
}
impl Ty {
fn kind(&self) -> Kind {
todo!()
struct InferOk<T> {
value: T,
predicates: Vec<()>,
fn foo(i: InferOk<Ty>) {
let k = i.kind();
//~^ no method named `kind` found for struct `InferOk` in the current scope
fn main() {}