core: make annotations on pattern fields refine inferred type of case scrutinee