Intrinsic arguments parameter annotated with NotNull
Intrinsic receiver parameter annotated with NotNull
Lazy intrinsic generation

 #KT-6241 Fixed