Report question

Question: annotating a local variable in php