X10

"this" should have a non-null type constraint