Definite_Assignment_Assertion_演算子