"Unreachable code" is reachable.

[disarray2077]

Example code:

public static U TryCast<T, U>(T val)
	where T : class
	where U : class
{
	if (let casted = val as U)
		return casted;

	return null; // WARNING: Unreachable code.
}

Tested with: https://github.com/beefytech/Beef/commit/d3ca45d80abf49193709e9627646451d9aac0cbc