Review all expansions for pernickety details
#74 (closed) shows that I need to go through all the expansions and check that they 1. are demonstrated in all corner cases 2. get those corner cases right.
($ftype
seems particularly liable to this kind of mistake because it is such an open class of input. AFAICT right now it's never used in-tree with a non-::
generic as shown in #74 (closed). Generic bounds and ${Xmeta as ty}
seem like another possible area of interest.)
todo list
-
!406 (merged) -
!407 (merged) -
!409 (merged) -
!410 (merged) -
!413 (merged) test and document const generics ( details-const-generics
) -
!414 (closed) -
re-read the reference one more time with a view to spotting anything I've forgotten
Edited by Ian Jackson