Add recursive search for type variables in static check

1 job for master
Status Job ID Name Coverage
  Test
canceled #1494
docker_build