So

provided

as a keyword is syntactic sugar for

compile intransitive

in my patch, and we could go all the way to

compile intransitive test