search

atomgalaxy / isocpp-universal-template-param

We propose a way to spell a universal template parameter kind. This would allow for a generic apply and other higher-order template metafunctions, and certain typetraits.
https://atomgalaxy.github.io/isocpp-universal-template-param/d1985r0.pdf
2 stars 2 forks source link

Writeup and example of _ambiguation_ of dependent name #14

Closed BengtGustafsson closed 1 year ago

BengtGustafsson commented 1 year ago

A text and example which shows how a dependent name needs ambiguation to be used as an argument for a UTP without being implicitly disambiguated as a value.

Also show that this is NOT required when using a UTP.

Problem: How do we disambiguate an UTP to be a value?

BengtGustafsson commented 1 year ago

I think this is outdated, if we can agree that ambiguation is never necessary. See issue #19

camaclean commented 1 year ago

Yes, this is outdated. A UTP is parsed as a value unless it is ambiguated again with template auto