Nikita Popov
b63ea1047a
Mark resource-like objects as non-comparable
...
As these hold on to some internal resource, there can't be two
"equal" objects with different identity. Make sure the lack of
public properties doesn't result in these being treated as always
equal.
2021-02-16 14:20:45 +01:00
..
2021-01-12 09:50:27 +01:00
2020-10-16 10:56:33 +02:00
2020-10-07 14:58:43 +02:00
2021-01-24 16:06:49 +01:00
2020-09-01 16:35:56 +02:00
2021-02-16 14:20:45 +01:00
2021-01-25 10:44:06 +00:00
2020-10-22 14:50:52 +02:00
2021-02-09 22:38:06 +01:00
2021-02-16 14:20:45 +01:00
2020-10-02 11:56:16 +02:00
2021-02-09 22:38:06 +01:00
2021-02-10 12:18:42 +01:00
2021-01-26 22:55:16 -08:00
2020-10-02 14:26:39 +02:00
2021-02-16 14:20:45 +01:00
2021-01-25 15:44:14 +01:00
2021-01-04 15:27:20 +01:00
2020-10-07 12:26:46 +02:00
2020-10-09 15:25:23 +02:00
2021-01-03 16:15:46 +01:00
2021-02-09 22:38:06 +01:00
2021-02-09 22:38:06 +01:00
2021-01-19 10:35:17 +01:00
2021-02-09 22:38:06 +01:00
2020-10-26 15:40:12 +01:00
2021-02-15 11:32:54 +01:00
2021-02-15 11:32:54 +01:00
2021-02-02 16:46:52 +01:00
2021-01-06 13:56:02 +01:00
2021-02-11 11:44:14 +01:00
2021-02-16 14:20:45 +01:00
2020-10-22 14:21:22 +02:00
2020-10-22 11:20:02 +02:00
2021-02-09 22:38:06 +01:00
2020-12-16 20:04:52 +01:00
2020-12-18 11:01:26 +01:00
2020-12-24 17:48:39 +11:00
2020-09-28 22:59:51 +02:00
2020-12-10 16:53:08 +01:00
2020-12-08 16:41:35 +01:00
2021-02-08 19:00:37 +01:00
2021-02-09 12:55:33 +01:00
2020-10-06 09:49:40 +02:00
2020-10-22 14:54:43 +02:00
2021-01-07 13:48:17 +01:00
2021-01-01 17:41:48 +01:00
2020-11-25 11:47:05 +01:00
2021-02-16 14:20:45 +01:00
2020-09-18 14:28:32 +02:00
2020-09-18 14:28:32 +02:00
2021-02-02 16:43:43 +01:00
2021-02-10 12:00:20 +01:00
2021-02-16 14:20:45 +01:00
2021-01-28 23:25:59 +01:00
2021-02-15 10:38:21 +01:00
2021-01-04 12:13:06 +01:00
2021-02-11 16:49:39 +01:00
2021-02-16 14:20:45 +01:00
2021-02-16 14:20:45 +01:00
2021-02-16 14:20:45 +01:00
2020-11-30 00:29:10 +01:00
2020-12-02 10:19:32 +01:00
2021-02-16 14:20:45 +01:00
2020-10-08 10:28:50 +02:00
2020-10-16 10:56:33 +02:00
2020-10-08 10:28:50 +02:00
2021-02-09 22:38:06 +01:00
2021-01-20 16:20:13 +01:00
2021-02-16 14:20:45 +01:00