type assertions on function implicit returns