example for type checker indicating an infinite loop