Tests for type analysis additions