
wings_dissolve.erl:142:22: Guard test is_list(List::gb_sets:set(_)) can never succeed
wings_dissolve.erl:311:37: Guard test is_list(Faces::gb_sets:set(_)) can never succeed
wings_dissolve.erl:58:13: Guard test is_list(Faces::gb_sets:set(_)) can never succeed
wings_dissolve.erl:70:27: The call gb_sets:is_empty(Faces::[any(),...]) breaks the contract (Set) -> boolean() when Set :: set()
wings_dissolve.erl:70:27: The call gb_sets:is_empty(Faces::[any(),...]) does not have an opaque term of type gb_sets:set(_) as 1st argument
wings_edge.erl:245:1: The pattern <Edge, 'hard', Htab> can never match the type <_,'soft',_>
wings_edge_cmd.erl:70:31: The call gb_trees:size(P::gb_sets:set(_)) breaks the contract (Tree) -> non_neg_integer() when Tree :: tree()
wings_edge_cmd.erl:72:18: The pattern [{_, P} | _] can never match the type []
wings_edge_cmd.erl:72:6: The pattern [_ | Parts] can never match the type []
wings_io.erl:70:9: The attempt to match a term of type queue:queue(_) against the pattern {In, Out} breaks the opacity of the term
wings_we.erl:195:37: The call wings_util:gb_trees_largest_key(Etab::gb_trees:tree(_,_)) contains an opaque term as 1st argument when a structured term of type {_,{_,_,_,'nil' | {_,_,_,'nil' | {_,_,_,_}}}} is expected
