Generics with default and $ExpectType value

Consider the following example:

class Foo<T = number> {
    public bar: T;
}

declare const foo: Foo;

// $ExpectType Foo<number>
foo;

Should this be rendered instead as just Foo – ?

There's a situation that might motivate this further than just "it's simpler" which is that perhaps generics have been added to Foo but backwards compatibility is provided through the default type.

If a type is specified using just default types, should the tool drop those types from the output?

Start with the TypeScript example and trace how the tool evaluates $ExpectType assertions. No file or test entry point is named, so first locate that handling and review existing generic-type expectations. Done means establishing whether default generic arguments should be omitted and adding coverage for the chosen behavior.