Skip to main content

rustc_traits/
lib.rs

1//! Queries that are independent from the main solver code.
2
3// tidy-alphabetical-start
4#![recursion_limit = "256"]
5// tidy-alphabetical-end
6
7mod codegen;
8mod coroutine_witnesses;
9mod dropck_outlives;
10mod evaluate_obligation;
11mod implied_outlives_bounds;
12mod normalize_erasing_regions;
13mod normalize_projection_ty;
14mod type_op;
15
16use rustc_middle::query::Providers;
17
18pub fn provide(p: &mut Providers) {
19    dropck_outlives::provide(p);
20    evaluate_obligation::provide(p);
21    implied_outlives_bounds::provide(p);
22    normalize_projection_ty::provide(p);
23    normalize_erasing_regions::provide(p);
24    type_op::provide(p);
25    p.codegen_select_candidate = codegen::codegen_select_candidate;
26    p.coroutine_hidden_types = coroutine_witnesses::coroutine_hidden_types;
27}