pub fn typeck() -> DepKindStruct