<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJytlE1v1DAQhn9NchkRJdlkd3PIobQq6gU4FK7IH-ONwbEjf2zbf884u0s_BAcEUuTYieed97E95k4-jXcwsSMCA-GswCVC0e6OOmhukHrwMGkxgZhQ_AigVZ6HPjJtYcaZoweVrIjaWXAK7kEHWDwGtLGCuwgP2hjAIzOJRYTooMkaccLnsByRuNECmJVQQ3G9Ka5uFOh4EtNHCq3gftL2EIr2Gib3gEdKLCZmD3jRu7inmEs-Ccq7mRxzVF6jlfQlCLdgVtEViRJgiD6JCJ89yoxLXFkNH9m8GKzuJ7Sv5C_a4QTj8cC8NBhCxl_FVwyJYdGZmELfrhNHInkJhvDh4xfKMC_a0MTFO5lEzrAaWVBkFOG8px64FJcUTz6JVbBAGp9OH0-ZZ2cJiq25gkteZPcS88qwGBltpayK-qaor85t__5MF75RJzjijo-x6G-Kdj_FuIRic1W0t_QcdJwSr8gqDYw5Xl7vyPN3ckdDRQy0Tbe7XV8Pm456vxVvhz9ZOFn-Xw6a_qWDF9pvDKxtKceNHDYDK1mKk_Ojo42TzosyeTP-tREdQlqd9O2-2ZbTqPpBbGSn9v2-ZXtserUTDJUSXA5MiK40jKMJIy0HsZf_nlKPbd02Tds29b4fuqHqtm3NB75tGs7VwLZFV-PMtKmyTuX8ofTjKskTFVtXGx1ieP7JQtAHi3hxGHU0OH7Nt4U2Oj7lIhCJDqqN52KgQ2ddzGd6QW-ech0FLZGqjW4Wqq1zPeWK-HUDVeWKMa4MPwEVXJOE>52816</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Visibility of current scope is not properly considered when evaluating a concept.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          oberdorc
      </td>
    </tr>
</table>

<pre>
    I have a concept 'visible' which checks if a certain member function of T is present. It will evaluate to 1 if the function is public and 0 íf it is private. Things, however change if the concept is evaluated from a befriended scope, i.e. 'struct Pred' in the example.Then the concept evaluates to 1 regardless of scope and despite the member function being private. The GNU compiler produces the expected correct output in this case. Output and demonstration source code is attached.

[concepts_console.txt](https://github.com/llvm/llvm-project/files/7750934/concepts_console.txt)

[concepts_source.txt](https://github.com/llvm/llvm-project/files/7750915/concepts_source.txt)



</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJytk8tu2zAQRb9G2gwq6GHZ1kKLNEGKbNou0m4LPkYmW4oU-HCSv-9Qths3aBcFCggSJXHu3DMz5E6-jA-g2BGBgXBW4BKhaHdHHTQ3SCt4UlooEArFjwB6yvvQR6YtzDhz9DAlK6J2FtwEj6ADLB4D2ljBQ4QnbQzgkZnEIkJ00GSNqPA1LEckbrQAZiXUUNx2xc3dBDqexPSRQit4VNoeQtHegnJPeKTEQjF7wIvexT3FXPJJmLybyTHHyWu0kr4E4RbMKroiUQIM0ScR4bNHmXGJK6vhM5sXg9WjQvub_EU7nGA8HpiXBkPI-Kv4iiExLDoTU-jbOnEkkmswhA8fv1CGedGGNi7eySRyhtXIgiKjCOc9rcCluKR48kmsggXS-HT6eMo8O0tQbM0VXPIiu5eYK8NiZNRKWRX1XVHfnO_9-zNd-EaL4Ig7PseivyvavYpxCUV3U7T3dB10VIlXZJVejDleHu_I83dyR68TMVCb7ne7vh66Da3-KN4Of7Nwsvy_HDT9tYMr7TcG1nspx04O3cDKqKPB8Ws-Btro-JK7KxJ1wMZzl6ma1sXcrAW9eckDErREGiM6MjQ050HJrf51tKoyeTP-M5AOIa1EfbtvtqUaG8Z2nZy6bt8PDBEb7Hkt9kO3b_tm3zSlYRxNGKmsVMNSj23dNk3bNjUFbIZqs21rPvBt03A-DWxbbGqcmTZVTlw5fyj9uHrgiY7cpjY6xPD6k4WgDxbxos9SVM6PjqZcOi_K1e-4mv0JsyF8rg">