Type Definition rustc_middle::ty::query::query_keys::coverageinfo[−][src]

type coverageinfo<'tcx> = DefId;