in type inference, accept when `default` is not the last case in match
in type inference, accept when `default` is not the last case in match

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition