The compiler now points exactly which part(s) of a pattern are refutable, rather than just highlighting the whole pattern.