checker: disallow structs with @[params] attribute as mutable function parameters

checker: disallow structs with @[params] attribute as mutable function parameters #8992