pub const inhabited_predicate_type: DepKind;