Ryan McConnell
0448557bfe
fix 25778; concept coerces incompatible types ( #25781 )
...
I don't like it, but seems like this is correct. Concept type classes
have to behave like other "named" type classes and participate in "bind
once" mechanics or require some weird semantics. As a side note I'm
pretty sure the `tuple` example in the manual explaining this is either
wrong now or has regressed, but I don't think it matters because I doubt
anyone thinks about this feature much.
#25778
2026-06-11 08:17:35 +02:00
..
2026-06-11 08:17:35 +02:00
2018-06-16 16:46:32 +03:00
2017-06-20 11:29:42 +02:00
2024-11-27 10:15:22 +01:00
2017-07-25 09:28:23 +02:00
2019-11-05 11:05:46 +01:00
2015-03-25 13:21:50 +01:00
2024-01-05 09:42:21 +01:00
2022-09-23 13:05:05 +02:00
2017-06-20 11:29:42 +02:00
2020-10-30 09:57:26 +01:00
2020-11-07 07:59:47 +00:00
2025-12-20 08:56:10 +01:00
2022-04-30 15:58:58 +02:00
2022-04-30 15:58:58 +02:00
2023-07-22 19:10:12 +02:00
2017-12-21 11:04:05 +01:00
2025-03-12 17:31:19 +01:00
2017-04-16 14:14:14 +03:00
2026-05-06 08:44:09 +02:00
2021-02-24 13:17:33 +01:00
2023-07-06 08:18:47 +02:00
2026-06-11 08:17:35 +02:00
2017-06-20 11:29:42 +02:00
2022-11-28 21:33:02 +01:00
2024-12-04 12:16:51 +08:00
2017-12-21 11:06:36 +01:00
2017-07-25 09:28:23 +02:00
2020-04-28 19:56:01 +02:00
2018-11-23 13:16:45 +01:00
2017-03-24 16:59:47 +02:00
2017-08-19 08:57:43 +02:00
2018-08-21 22:14:12 +02:00
2018-12-11 21:23:21 +01:00
2018-12-11 21:23:22 +01:00
2025-12-20 08:56:10 +01:00
2020-11-28 09:09:31 +01:00
2018-03-24 15:28:09 +01:00
2021-07-18 10:49:03 +02:00
2018-11-23 13:16:45 +01:00
2015-03-23 13:10:18 +01:00
2018-06-16 16:46:32 +03:00
2024-11-19 10:06:41 +01:00
2024-04-24 17:33:58 +02:00
2022-09-23 13:05:05 +02:00
2015-03-25 13:21:50 +01:00
2019-04-02 08:23:13 +02:00
2021-04-06 16:20:01 +02:00