kotlinの型推論(var)で、intarface型は可能でしょうか？

Question

前提・実現したいこと

kotlinの型推論(var)で、intarface型は可能でしょうか？
型指定であれば、
var file: FileInterface = FileOperation()
のように、FileInterface型として指定することが可能ですが、型推論では
var file = FileOperation()
を実行すると、FileOperation型になってしまいます。

試したこと

var file = FileOperation().create()
などで、createからinterfaceとすると、interfaceにはなってもFileOperationは使用できませんので、意味がなくなってしまいます。

補足情報（FW/ツールのバージョンなど）

kotlin 1.4

Comments

[hoshi-takanori]

型推論は file が何でありうるかを推論するものであって、あなたが何であって欲しいと思っているかを推論するものではありません。

[TakaiY]

FileOperation は FileInterface を継承しているということだと思うのですが、FileOperationになってしまうことにどのような問題があるのでしょうか。