pub fn type_op_eq<'tcx>(tcx: TyCtxt<'tcx>, key: type_op_eq<'tcx>) -> String