Type Definition analysis
rustc_middle::ty::query::query_values
type analysis<'tcx> = Result<(), ErrorReported>;