[display] remove questionable display handling from matcher.ml

see #8194

src/typing/matcher.ml

@@ -571,11 +571,6 @@ module Case = struct
 		ctx.ret <- old_ret;
 		List.iter (fun (v,t) -> v.v_type <- t) old_types;
 		save();
-		if ctx.is_display_file && DisplayPosition.display_position#enclosed_in p then begin match eo,eo_ast with
-			| Some e,Some e_ast -> ignore(TyperDisplay.display_expr ctx e_ast e DKMarked with_type p)
-			| None,None -> ignore(TyperDisplay.display_expr ctx (EBlock [],p) (mk (TBlock []) ctx.t.tvoid p) DKMarked with_type p)
-			| _ -> assert false
-		end;
 		{
 			case_guard = eg;
 			case_expr = eo;