CTAD instantiates other specialization when explicit argument is given
https://godbolt.org/z/EoeGs3E3v
Does NTTP construction always happen for CTAD even if value of type of that specialization is given?
This is (partially) reduced from CTAD instantiates other specialization when explicit argument is given.