Type Definition RelateResult
rustc_middle::ty::relate
type RelateResult<'tcx, T> = Result<T, TypeError<'tcx>>;