From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 10D903857BB2; Mon, 15 Jan 2024 21:33:49 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 10D903857BB2
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1705354429;
	bh=UAHQXNxfzSq6M3vKRzVIkYDQJNxh7oBlch3KiDv9wqk=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=e/H3w64CDjIJCw7nv2oZ1wRZxWwi0dla9eyOapG9mUEjCNP8nxPD1IqUA941gz9dh
	 T8d7teELBrEqwXIZ+GOh2knURpi7fO40V/P0RNfU/+rJ8M/vViNmq1c5hZE6obvbo3
	 HrKeNTRMF4rGPYe8/oKb+4DVTqZ9/zHkKnarke5I=
From: "eddiejnolan at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/113405] Can't access member type alias of
 concept-constrained class template specialization in global module fragment
 via alias template in different module
Date: Mon, 15 Jan 2024 21:33:48 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: eddiejnolan at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113405-4-rv7lKsqIw1@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113405-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113405-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D113405

--- Comment #2 from Eddie Nolan <eddiejnolan at gmail dot com> ---
This series of commands reproduces the issue and does not use CMake:

g++ -g -std=3Dc++20 -E -x c++ ./module2.cpp \
    -MT ./module2.cpp.o.ddi -MD -MF ./module2.cpp.o.ddi.d \
    -fmodules-ts -fdeps-file=3D./module2.cpp.o.ddi -fdeps-target=3D./module=
2.cpp.o
\
    -fdeps-format=3Dp1689r5 -o ./module2.cpp.o.ddi.i
g++ -I./include -g -std=3Dc++20 -E -x c++ ./module1.cpp \
    -MT ./module1.cpp.o.ddi -MD -MF ./module1.cpp.o.ddi.d \
    -fmodules-ts -fdeps-file=3D./module1.cpp.o.ddi -fdeps-target=3D./module=
1.cpp.o
\
    -fdeps-format=3Dp1689r5 -o ./module1.cpp.o.ddi.i
echo "module1 module1.gcm" >> ./module1.cpp.o.modmap
echo "module2 module2.gcm" >> ./module2.cpp.o.modmap
echo "module1 module1.gcm" >> ./module2.cpp.o.modmap
g++ -I./include -g -std=3Dc++20 -MD -MT ./module1.cpp.o -MF ./module1.cpp.o=
.d \
    -fmodules-ts -fmodule-mapper=3D./module1.cpp.o.modmap -MD \
    -fdeps-format=3Dp1689r5 -x c++ -o ./module1.cpp.o -c ./module1.cpp
g++ -g -std=3Dc++20 -MD -MT ./module2.cpp.o -MF ./module2.cpp.o.d \
    -fmodules-ts -fmodule-mapper=3D./module2.cpp.o.modmap -MD \
    -fdeps-format=3Dp1689r5 -x c++ -o ./module2.cpp.o -c ./module2.cpp=