デフォルトの宣言が亜空間推論にかき消される