Re: [sv-bc] Tagged packed union

The following paragraph is also the topic of
 http://eda.org/svdb/bug_view_page.php?bug_id=927
 and http://www.eda.org/sv-bc/hm/3329.html

    "The type of a tagged union expression must be known from
     its context (e.g., it is used in the right-hand side of an
     assignment to a variable whose type is known, or it is has
     a cast, or it is used inside another expression from
     which its type is known)."

A more distantly related Mantis item is

     http://eda.org/svdb/bug_view_page.php?bug_id=951

In this discussion let's also keep in mind that patterns are not
assignment patterns, as mentioned in 

     http://www.eda.org/sv-bc/hm/4093.html

-- Brad