properly analyse assignments to type params
squash npe