Authentication-Results: mail-b.sr.ht; dkim=pass header.d=cmpwn.com header.i=@cmpwn.com
Received: from out2.migadu.com (out2.migadu.com [188.165.223.204])
	by mail-b.sr.ht (Postfix) with ESMTPS id 693BD11EE04
	for <~sircmpwn/hare-users@lists.sr.ht>; Thu, 26 Jan 2023 11:15:11 +0000 (UTC)
Mime-Version: 1.0
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cmpwn.com; s=key1;
	t=1674731710;
	h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
	 to:to:cc:mime-version:mime-version:content-type:content-type:
	 content-transfer-encoding:content-transfer-encoding:
	 in-reply-to:in-reply-to:references:references;
	bh=NIKGapF9huJcInmo+MO9PG6exdAugpiYOSj/NeL7DN0=;
	b=SFbo64PAlLRE9xetmN/IZ0K/h2X6eR4wO5NG4FuNZq5bDXyuiJ9MHNpyizDYGCUS+h7GVt
	6zVUHKJAlWxYV81YlzyLEC8Ucx5Svk9XpKdfA4528y9Aq6/5H/TKDQJth/tOQnEegzRunN
	HPRuONyAk91AQmlmES3BAqtr2T4LltMQbWBYza/0CByBssWwrX5N/+uNM/MF9EopsXD+Wy
	0R4kcO/BwbMhvX0f4j8v9/deQcY5BPxPEZDnuZkuSEYSKCAAYIAgmdujmrFHFIk5tte8GC
	J4AP5Ag2SDogOL6SUQkB2MY/xxm/A3tRTiYQi7NwFcNW2PjxMtOHHchG0V7GVg==
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=UTF-8
Date: Thu, 26 Jan 2023 12:15:09 +0100
Message-Id: <CQ22UE5JBFGO.35G5EKI79XLFX@taiga>
Subject: Re: Using append with type aliases
X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers.
From: "Drew DeVault" <sir@cmpwn.com>
To: "KAAtheWise" <KAAtheWise@protonmail.com>,
 "~sircmpwn/hare-users@lists.sr.ht" <~sircmpwn/hare-users@lists.sr.ht>
References: <cQ18QLphlVx7iH9N9bY-TocynQ71uPr5JqQGnkgvXoFa4vJX0tXhY4xZU57zx8chQNlfG7X12tLcyuNkpdNp0E54GFOsGjdpEc30beh5Zr4=@protonmail.com>
In-Reply-To: <cQ18QLphlVx7iH9N9bY-TocynQ71uPr5JqQGnkgvXoFa4vJX0tXhY4xZU57zx8chQNlfG7X12tLcyuNkpdNp0E54GFOsGjdpEc30beh5Zr4=@protonmail.com>
X-Migadu-Flow: FLOW_OUT

This question is trivially answered by writing a small program to test
it for yourself:

type foo =3D []int;

export fn main() void =3D {
	let x: foo =3D [];
	append(x, 10);
};