set getなvarとかどうなるんでしょ？アクセスできなくなる気もする

set と get で型がずれちゃいますよね。ただ、ある引数が Never ってアクセスできないことを意味しているとも考えられて、 set が Never == readonly と解釈すればおかしくないかも。