I have found this sentence in javadoc for one class Thread. While I've understood its meaning, not sure if I understand its grammatical form.
Interrupting a thread that is not alive need not have any effect.
I could pull out "that is not alive" - quite clear. Then left
Interrupting a thread ... need not have any effect.
Looks like "a thread" could be also thrown away
Interrupting ... need not have any effect.
Is "need not + bare infinitive" a correct grammatical form?