<?php
class Whisky {
    public int|string $invariant { get; set; }
    public int|string $covariant { get; }
}

class SingleMalt {
    public int    $invariant; // Illegal
    public string $covariant;
}