Types:
PsiLocalVariable:a : java.lang.Long[][]
PsiMethod:bar : java.lang.Long[]
PsiMethod:foo : java.lang.Long[][]
PsiMethodCallExpression:bar() : java.lang.Long[]
PsiNewExpression:new Integer[0] : java.lang.Long[]
PsiNewExpression:new Integer[0] : java.lang.Long[]
PsiNewExpression:new Integer[0] : java.lang.Long[]
PsiNewExpression:new Integer[][] {new Integer[0], new Integer[0]} : java.lang.Long[][]
PsiReferenceExpression:a : java.lang.Long[][]
PsiReferenceExpression:a : java.lang.Long[][]
PsiReferenceExpression:a : java.lang.Long[][]

Conversions:

New expression type changes:
new Integer[0] -> java.lang.Long[]
new Integer[0] -> java.lang.Long[]
new Integer[0] -> java.lang.Long[]
new Integer[][] {new Integer[0], new Integer[0]} -> java.lang.Long[][]
Fails: