They've improved the compiler analysis for them significantly, including exhaustivity checks and field checks.