[Scala 2.13] Subtype of Newtype cause cyclic subtyping error

[guizmaii]

Same issue as in #817

Reproducer:

object type {
  type UUIDv1 = UUIDv1.Type
  object UUIDv1 extends Subtype[UUID]
  
  type UserId = UserId.Type
  object UserId extends Subtype[UUIDv1]
}

Error:

[error] example.scala:48:8: cyclic aliasing or subtyping involving type Type
[error]   type UserId = UserId.Type

Cc @kitlangton

[guizmaii]

See also: #949 (comment)

[jdegoes]

/bounty $100

[algora-pbc]

💎 $100 bounty created by jdegoes
🙋 If you start working on this, comment /attempt #1183 to notify everyone
👉 To claim this bounty, submit a pull request that includes the text /claim #1183 somewhere in its body
📝 Before proceeding, please make sure you can receive payouts in your country
💵 Payment arrives in your account 2-5 days after the bounty is rewarded
💯 You keep 100% of the bounty award
🙏 Thank you for contributing to zio/zio-prelude!

Attempt	Started (GMT+0)	Solution
🔴 @cheikh2shift	Oct 9, 2023, 6:06:47 PM	WIP
🔴 @guptasamarth61	Oct 20, 2023, 7:21:08 AM	WIP
🔴 @Tan28bha	Nov 3, 2023, 7:58:06 PM	WIP
🔴 @abebeos	Nov 21, 2023, 12:17:55 PM	WIP
🟡 @Krishnakalani111	Dec 6, 2023, 8:34:30 AM	WIP

[cheikh2shift]

/attempt #1183

Options

• Cancel my attempt

[algora-pbc]

@cheikh2shift: Reminder that in 7 days the bounty will become up for grabs, so please submit a pull request before then 🙏

[guptasamarth61]

/attempt #1183

Options

• Cancel my attempt

[algora-pbc]

@guptasamarth61: Reminder that in 7 days the bounty will become up for grabs, so please submit a pull request before then 🙏

[algora-pbc]

The bounty is up for grabs! Everyone is welcome to /attempt #1183 🙌

[Tan28bha]

/attempt #1183

Options

• Cancel my attempt

[Tan28bha]

/attempt #1183

[adamgfraser]

@abebeos This is wrong. Users should be able to define types that are subtypes or new types of other user defined types, whether those types are subtypes or new types.

[algora-pbc]

@abebeos: Reminder that in 7 days the bounty will become up for grabs, so please submit a pull request before then 🙏

[algora-pbc]

The bounty is up for grabs! Everyone is welcome to /attempt #1183 🙌

[Krishnakalani111]

/attempt #1183

Options

• Cancel my attempt

[algora-pbc]

@Krishnakalani111: Reminder that in 7 days the bounty will become up for grabs, so please submit a pull request before then 🙏

[SethTisue]

(I'm not certain it's relevant as I haven't followed the history closely, but regardless, FYI:)

a fix for scala/bug#12622 has been merged for Scala 2.13.13 and is available for testing in Scala 2 nightly builds

[adamgfraser]

@SethTisue Awesome! I can confirm that this resolves the issue. Do you have any idea when the next version will be released? Thanks for the update! 😃

[adamgfraser]

This will be fixed when the next Scala 2.13 version is released.

[SethTisue]

probably January — you can monitor https://contributors.scala-lang.org/t/scala-2-13-13-release-planning/6315 if you like