Function enum_matches 

fn enum_matches(a: &TypeAnnotation, b: &TypeAnnotation) -> bool

Returns true if a and b are the same named tag (enum), regardless of Enum/CEnum (mutable/const) mismatch.