relationship to specialization

[benkay86]

Part of the keyword generics proposal involves writing a single function that is generic over sync and async contexts, but whose implementation can be specialized depending on which context it is invoked in. The const_eval_select intrinsic is one (unstable) pattern for specialization that might be used more broadly for keyword generics. impl specialization (specifically a sound subset of the original 2015 RFC) is another unstable pattern for specialization. Do you see a synergy between specialization and keyword generics?