fn main() { x := 5 p := &x _ := p + p //should be error _ := p * p //should be error _ := p * 2 //should be error _ := p + 5 //OK but only in unsafe block, r is *int _ := p - p //OK even in safe code, but n should be isize }