Is this the only way the macro JIT compilation can fail?

it' only one specific error in general should be 3 Errors
1) typing errors -> just normal semantic errors in typing macros  - we should just produce correct error
now im throwing exception in this case 
2) typing selector error -> also normal error but with exception that we should not produce real error for FLAVOR_ONINFER
in booth enfermethod i return JitSkip , and i think is correct so . 
in first case compiler generate "macrosnotfound etc.. error" or take compiled macros . 
 .... here can be some stuipid sitiation if compiled macrod exists - in this case I 'll take compiled macros 
for example 
if 

object A {
def func2 =....
}
def foo = macro A.func1

and  exists compiled A  whith func1 ill take it 

in FLAVOR_ONINFER case - we ignore it


2) this cyclic error - it is fatal and should produce error immideatly