报告将受概念约束的表达式分配给被声明为 auto 的变量的情况,并建议添加类型约束。

示例:


  template<class T>
  concept Foo = true;

  Foo auto func() { return true; }

  void bar() {
      auto f = func(); //在此处警告需要添加约束 'Foo'
  }