don't infer type for some semantic issues