There is not any need to make use of a return assertion as the compiler can infer that you would like to return the results of the expression This seems to be similar to this difficulty: Wrong "Property isn't going to exist on sort 'in no way'" when changing worth https://plotsinsohna.in/