Skip to content

add user_ty.projs support to `AscribeUserType`.

639a3ff
Select commit
Loading
Failed to load commit list.
Merged

Handle bindings in substructure of patterns with type ascriptions #55274

add user_ty.projs support to `AscribeUserType`.
639a3ff
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs