To be fair the "result"-part in "something you thought was an Option[T] result turned out to be really a T" makes it sound like you were speaking of the return-type to me as well. I appreciate the elboration though!
I think the point remains that, while this is not a breaking change from a contractual viewpoint, most type systems would deem it incompatible.