Briscoooe

icon indicating a website link brianbriscoe.dev

Results 2 comments of Briscoooe

WithAnnotations[X, Y] gives runtime error (but typechecker is happy)

Any updates on this?

[BUG]: isNotNull doesn't correctly infer the type

+1 same here. Is there any workaround for this?