compiler/rustc_typeck/src/outlives/test.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use rustc_errors::struct_span_err;
use rustc_middle::ty::TyCtxt;
use rustc_span::symbol::sym;

pub fn test_inferred_outlives(tcx: TyCtxt<'_>) {
    for id in tcx.hir().items() {
        // For unit testing: check for a special "rustc_outlives"
        // attribute and report an error with various results if found.
        if tcx.has_attr(id.def_id.to_def_id(), sym::rustc_outlives) {
            let inferred_outlives_of = tcx.inferred_outlives_of(id.def_id);
            struct_span_err!(
                tcx.sess,
                tcx.def_span(id.def_id),
                E0640,
                "{:?}",
                inferred_outlives_of
            )
            .emit();
        }
    }
}