☰
In rustc_query_impl::query_callbacks
?
Function
rustc_query_impl
::
query_callbacks
::
type_op_prove_predicate
source
·
[
−
]
pub fn type_op_prove_predicate() ->
DepKindStruct
