Prior to this change, an iso param that has a default value
was wrongly being treated as having cap iso'aliased when
analyzing its sendability for safety, because the inference
system was treating the result of the assignment as being
the value (which is an alias for normal assignment).
After this fix, both DEFAULTPARAM and <<= are treated as
special forms of assignment whose result value is not an alias.
Prior to this change, an
isoparam that has a default value was wrongly being treated as having capiso'aliasedwhen analyzing its sendability for safety, because the inference system was treating the result of the assignment as being the value (which is an alias for normal assignment).After this fix, both
DEFAULTPARAMand<<=are treated as special forms of assignment whose result value is not an alias.