>代入やパラメータに渡すときに参照型の特徴が出てきます
代入はともかく、クライアント側での変数定義が関数側に影響が出るのはどうかと。
確かに、ref/outの様なキーワードは必要なくなるけど、
値型を受け取る関数は常に２つのインスタンスを生成することになるんじゃないかな