PrioriryQueue<E> and Queue<E> reported as incompatible types

Using IntelliJ Ultimate 2024.3.5, the following code has red marks:

import java.util.List;
import java.util.PriorityQueue;
import java.util.Queue;

public class Example {

    public record Foo(String s) {
    }

    public void example1() {
        Queue<Foo> queue = new PriorityQueue<>();
    }

    public void example2() {
        PriorityQueue<Foo> queue = new PriorityQueue<>();
        List<String> list = queue.stream()
                .map(foo -> foo.s())
                .toList();
    }

}

example1 reports: no instance(s) of type variable(s) E exist so that PriorityQueue<E> conforms to Queue<Foo>

example2 reports: Cannot resolve method 'stream' in 'PriorityQueue', then fails to determine the type in the map() call because the stream type was not established.

I expect that both of these cases are valid, and I have verified that they compile successfully. PriorityQueue extends AbstractQueue which implements the Queue interface and AbstractQueue extends AbstractCollection which implements Collection which provides the stream() method. Am I missing something, or is there a workaround for this situation?