Объединение оператора assert и сопоставления с образцом instanceof

В Java 19 я пытаюсь использовать сопоставление шаблонов instanceof внутри оператора assert. Я ожидаю, что соответствующий тип будет доступен после оператора, но компилятор Java не распознает новую переменную.

Мы создаем переменную Object obj и не можем знать, содержит ли она Integer или String. Мы передаем переменную двум методам тестирования.

public class AssertPatternMatching {
    public static void main(String[] args) {
        Object obj = args.length == 0 ? Integer.valueOf(42) : "Hello";

        afterAssert(obj);
        insideMessage(obj);
    }

В методе afterAssert() мы утверждаем, что obj является String, и привязываем строку к новой переменной str посредством instanceof сопоставления с образцом. Я ожидаю, что str будет известен и может использоваться в следующей строке. Однако компилятор не знает символ str.

    private static void afterAssert(Object obj) {
        assert obj instanceof String str;
        str.length(); // javac: cannot find symbol variable str
    }

В методе insideMessage() мы используем запутанный оператор assert, чтобы проверить, что obj не является String. Если это так, утверждение не выполняется, и мы можем предоставить сообщение. Поскольку проверка instanceof отменяется, переменная str, соответствующая шаблону, должна быть доступна для сообщения об ошибке. Однако компилятор снова не знает символа str.

    private static void insideMessage(Object obj) {
        assert !(obj instanceof String str) : "Is a string: " + str.length();
        // line above: javac: cannot find symbol variable str
        obj.hashCode();
    }

Это сработает, если мы заменим операторы assert на if:

private static void afterAssertIf(Object obj) {
    if (obj instanceof String str) {
        str.length();
    } else {
        throw new AssertionError();
    }
}

private static void insideMessageIf(Object obj) {
    if (!(obj instanceof String str)) {
        obj.hashCode();
    } else {
        throw new AssertionError("Is a string: "+ str.length());
    }
}

Пример InsideMessage() действительно крайний случай, поэтому я понимаю, что он не поддерживается. Однако я ожидал, что afterAssert() сработает. Это преднамеренный выбор дизайна или ошибка? Если преднамеренно, то в чем причина?

Полный код на https://gist.github.com/enikao/57bb1b10ce3126494ec4baa2bc7db2df