You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Specified type is not checked for use! binding #19005
@edgarfgp I don't have a ready fix. For now, it's only clear that the return type info is not checked in any way for let! / use!. The type checking logic was only for pattern annotation and only for let!, because previously it was impossible to specify a type for use!. At the same time, the problem for let! is not reproducible only because previously there was type checking logic for pattern annotation, and now binding annotation is transformed to pattern annotation (more information here #19004). After the fixes in #19004, the specified type will also not be checked for let! because this logic never existed and it was not added with new-added annotations syntax for let! / use! bindings
Activity
edgarfgp commentedon Oct 15, 2025
I can have a look at this during the week if you have not already fixed :).
[-]Specified type does not checked for use! binding[/-][+]Specified type is not checked for use! binding[/+]DedSec256 commentedon Oct 15, 2025
@edgarfgp I don't have a ready fix. For now, it's only clear that the return type info is not checked in any way for
let!/use!. The type checking logic was only for pattern annotation and only forlet!, because previously it was impossible to specify a type foruse!. At the same time, the problem forlet!is not reproducible only because previously there was type checking logic for pattern annotation, and now binding annotation is transformed to pattern annotation (more information here #19004). After the fixes in #19004, the specified type will also not be checked forlet!because this logic never existed and it was not added with new-added annotations syntax forlet!/use!bindings