No. That can trivially be inferred from SSA being a thing, mutable bindings can trivially and automatically be converted to immutable ones.