diff --git a/src/Psalm/Type/Atomic/TFalse.php b/src/Psalm/Type/Atomic/TFalse.php
index 03d1e27c05f..dfbd73ba6b5 100644
--- a/src/Psalm/Type/Atomic/TFalse.php
+++ b/src/Psalm/Type/Atomic/TFalse.php
@@ -9,7 +9,10 @@
  */
 final class TFalse extends TBool
 {
-    /** @var false */
+    /**
+     * @readonly
+     * @var false
+     */
     public $value = false;
 
     public function getKey(bool $include_extra = true): string
@@ -17,8 +20,20 @@ public function getKey(bool $include_extra = true): string
         return 'false';
     }
 
+    /**
+     * @param  array<lowercase-string, string> $aliased_classes
+     */
+    public function toPhpString(
+        ?string $namespace,
+        array $aliased_classes,
+        ?string $this_class,
+        int $analysis_php_version_id
+    ): ?string {
+        return $analysis_php_version_id >= 8_02_00 ? $this->getKey() : null;
+    }
+
     public function canBeFullyExpressedInPhp(int $analysis_php_version_id): bool
     {
-        return false;
+        return $analysis_php_version_id >= 8_02_00;
     }
 }
diff --git a/src/Psalm/Type/Atomic/TIterable.php b/src/Psalm/Type/Atomic/TIterable.php
index 1f67bfb5602..6eb5179699e 100644
--- a/src/Psalm/Type/Atomic/TIterable.php
+++ b/src/Psalm/Type/Atomic/TIterable.php
@@ -101,7 +101,9 @@ public function toPhpString(
 
     public function canBeFullyExpressedInPhp(int $analysis_php_version_id): bool
     {
-        return $this->type_params[0]->isMixed() && $this->type_params[1]->isMixed();
+        return $analysis_php_version_id >= 7_01_00
+            && $this->type_params[0]->isMixed()
+            && $this->type_params[1]->isMixed();
     }
 
     public function equals(Atomic $other_type, bool $ensure_source_equality): bool
diff --git a/src/Psalm/Type/Atomic/TNull.php b/src/Psalm/Type/Atomic/TNull.php
index 7ce4717f701..728e1e5b912 100644
--- a/src/Psalm/Type/Atomic/TNull.php
+++ b/src/Psalm/Type/Atomic/TNull.php
@@ -25,11 +25,11 @@ public function toPhpString(
         ?string $this_class,
         int $analysis_php_version_id
     ): ?string {
-        return null;
+        return $analysis_php_version_id >= 8_02_00 ? $this->getKey() : null;
     }
 
     public function canBeFullyExpressedInPhp(int $analysis_php_version_id): bool
     {
-        return false;
+        return $analysis_php_version_id >= 8_02_00;
     }
 }
diff --git a/src/Psalm/Type/Atomic/TObject.php b/src/Psalm/Type/Atomic/TObject.php
index 31e66c9b5a0..f5797d142d2 100644
--- a/src/Psalm/Type/Atomic/TObject.php
+++ b/src/Psalm/Type/Atomic/TObject.php
@@ -30,6 +30,6 @@ public function toPhpString(
 
     public function canBeFullyExpressedInPhp(int $analysis_php_version_id): bool
     {
-        return true;
+        return $analysis_php_version_id >= 7_02_00;
     }
 }
diff --git a/src/Psalm/Type/Atomic/TTrue.php b/src/Psalm/Type/Atomic/TTrue.php
index 5209cbc4058..e4dd6e2bb17 100644
--- a/src/Psalm/Type/Atomic/TTrue.php
+++ b/src/Psalm/Type/Atomic/TTrue.php
@@ -9,7 +9,10 @@
  */
 final class TTrue extends TBool
 {
-    /** @var true */
+    /**
+     * @readonly
+     * @var true
+     */
     public $value = true;
 
     public function getKey(bool $include_extra = true): string
@@ -17,8 +20,20 @@ public function getKey(bool $include_extra = true): string
         return 'true';
     }
 
+    /**
+     * @param  array<lowercase-string, string> $aliased_classes
+     */
+    public function toPhpString(
+        ?string $namespace,
+        array $aliased_classes,
+        ?string $this_class,
+        int $analysis_php_version_id
+    ): ?string {
+        return $analysis_php_version_id >= 8_02_00 ? $this->getKey() : null;
+    }
+
     public function canBeFullyExpressedInPhp(int $analysis_php_version_id): bool
     {
-        return false;
+        return $analysis_php_version_id >= 8_02_00;
     }
 }
diff --git a/src/Psalm/Type/Atomic/TVoid.php b/src/Psalm/Type/Atomic/TVoid.php
index e122d9a8e1c..3e1acf7f75a 100644
--- a/src/Psalm/Type/Atomic/TVoid.php
+++ b/src/Psalm/Type/Atomic/TVoid.php
@@ -30,6 +30,6 @@ public function toPhpString(
 
     public function canBeFullyExpressedInPhp(int $analysis_php_version_id): bool
     {
-        return true;
+        return $analysis_php_version_id >= 7_01_00;
     }
 }