David P. Baker comments

Repositories
Issues
Comments

Results 136 comments of


                                            David P. Baker

Declaring that one annotation aliases or specializes another (`@Implies`)

I fully support the idea of JSpecify taking on the big challenge of unifying meta-annotation semantics, or at least of exploring that possibility. My comment was focused only on figuring...

Make sure the build-docs workflow runs on pull requests and pushes to the specification-1.0 branch

I think the workflow change just has to be on the development branch.

Bump got, @docusaurus/core and @docusaurus/preset-classic in /docs

@dependabot rebase

Bump trim, @docusaurus/core and @docusaurus/preset-classic in /docs

@dependabot rebase

Bump axios, @docusaurus/core and @docusaurus/preset-classic in /docs

@dependabot rebase

`@NonNull` vs. `? extends @Nullable` for `Optional`-returning methods

It would help me if you both could use examples of callers using explicit type arguments.