groovy:typechecked