search

castwide / solargraph

A Ruby language server.
https://solargraph.org
MIT License
1.89k stars 158 forks source link

Ambiguous documentation on severity level about uninferred methods #671

Closed justaskz closed 1 year ago

justaskz commented 1 year ago

Hello, documentation on Type checking states:

Strict checks require all methods to have either a tagged type or an inferred type. If an untagged method’s type cannot be inferred, the type checker issues a warning.

In reality checker issues error. Is this correct behaviour?

castwide commented 1 year ago

Can you provide an example? You should only get errors when either the type can't be inferred or it doesn't match the tagged type.

justaskz commented 1 year ago

I actually dont remember the context, therefore cant reproduce. Lets close the issue