there is no obligation on the return type of the method as long as it follow
java syntax rules and compiles. why are you saying that the method cannot return variable of the type Main. the co-variant type is for overridding methods. Overriding is related to inheritance. when a method overriddes another method then the overridding method can have co-variant return type ,which means its return type can be any sub-class of the return type of overridden method. there is nothing stopping you from returning object of another class from your methods.