auto
Example:
template<class T> concept Foo = true; Foo auto func() { return true; } void bar() { auto f = func(); //warn here to add constraint 'Foo' }