{"ast_node_type":"import","tokens":[{"end":47,"kind":"keyword","start":0,"text":"///"}]}
/// because we want to check for type equality.
/// during `MirPhase` >= `MirPhase::Runtime(RuntimePhase::Initial)` variance should be `Invariant`
pub fn relate_types<'tcx>(