Home
last modified time | relevance | path

Searched defs:ListBinderExistentialPredicate (Results 1 – 2 of 2) sorted by relevance

/third_party/rust/rust/compiler/rustc_type_ir/src/
Dlib.rs53 type ListBinderExistentialPredicate: Clone + Debug + Hash + Ord; typedef
/third_party/rust/rust/compiler/rustc_middle/src/ty/
Dcontext.rs98 type ListBinderExistentialPredicate = &'tcx List<PolyExistentialPredicate<'tcx>>; typedef