The reverse might be nice too, e.g. for passing an Option to a native Java method. Though gating this one on into is a bit less obvious, since using it for native Java methods means you can’t actually use into. Maybe it could be automatically applied to non-Scala methods, and require into when you have a Scala method?
given[A] => Conversion[Option[A], A | Null] = _.orNull
Combined with Make Null a subclass of AnyVal under -Yexplicit-nulls and Proposal: Fixing null.methodOfAny() under explicit-nulls dealing with null could be both safe and ergonomic.