hasTentativeReturnType: true
