No diagnostic reported for non-primitive casts

[lnicola]

_ = ((), ()) as ();

[ShoyuVanilla]

It seems that we aren't making any diagnostics here yet

rust-analyzer/crates/hir-ty/src/infer/cast.rs

Lines 16 to 34 in 0765978

	pub(super) fn check(self, table: &mut InferenceTable<'_>) {
	// FIXME: This function currently only implements the bits that influence the type
	// inference. We should return the adjustments on success and report diagnostics on error.
	let expr_ty = table.resolve_ty_shallow(&self.expr_ty);
	let cast_ty = table.resolve_ty_shallow(&self.cast_ty);
	if table.coerce(&expr_ty, &cast_ty).is_ok() {
	return;
	}
	if check_ref_to_ptr_cast(expr_ty, cast_ty, table) {
	// Note that this type of cast is actually split into a coercion to a
	// pointer type and a cast:
	// &[T; N] -> *[T; N] -> *T
	}
	// FIXME: Check other kinds of non-coercion casts and report error if any?
	}
	}