コンセプトで制約されている式が auto で宣言されている変数に代入されている場合に報告し、型制約の追加を提案します。

例:


  template<class T>
  concept Foo = true;

  Foo auto func() { return true; }

  void bar() {
      auto f = func(); //ここで制約 'Foo' を追加するように警告されます
  }