あ〜、??の左辺だからか。ということは、4.0では、 T に推論した上で Optional<T> への暗黙のアップキャストが推論されるアレだったのが、変わったということですか！