imccyu
364f7c7076
docs: compile the note's type-contract and allowlist examples
...
The six `ignore-check` fences this note added pushed doc-typecheck's repo-wide
opt-out ratio past its 50% ceiling. Two of them were whole compilable units all
along: the type-meta declarations only lacked the cordis `Events` import, and the
allowlist example compiles as one module once the value and its derived type face
sit in the same block. The four that remain are genuine fragments — two interface
member signatures, a union arm, and an expression whose operands are declared
elsewhere.
2026-08-11 19:25:41 +08:00
..
2026-08-09 03:20:17 +08:00
2026-08-03 16:04:26 +08:00
2026-08-09 03:20:17 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-04 17:36:14 +08:00
2026-07-22 23:07:14 +08:00
2026-08-04 17:36:14 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 11:33:14 +08:00
2026-08-07 22:52:19 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-11 12:35:38 +08:00
2026-08-11 12:35:38 +08:00
2026-08-11 12:35:38 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 11:33:14 +08:00
2026-08-08 00:04:55 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 23:33:35 +08:00
2026-08-09 01:31:57 +08:00
2026-08-09 01:31:57 +08:00
2026-08-09 01:31:57 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 11:33:14 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 01:31:57 +08:00
2026-08-09 11:33:14 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-11 15:56:06 +08:00
2026-08-11 15:56:06 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 17:26:57 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 11:33:14 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 01:27:09 +08:00
2026-08-09 11:33:14 +08:00
2026-08-10 13:07:46 +08:00
2026-08-10 13:07:46 +08:00
2026-08-10 13:07:46 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-10 21:11:09 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 11:33:14 +08:00
2026-08-06 10:40:31 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 11:33:14 +08:00
2026-07-25 16:43:07 +08:00
2026-08-09 11:33:14 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-04 17:36:14 +08:00
2026-07-26 13:42:02 +08:00
2026-08-04 17:36:14 +08:00
2026-08-04 17:36:14 +08:00
2026-07-24 21:50:11 +08:00
2026-08-04 17:36:14 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-11 16:37:29 +08:00
2026-08-11 16:37:29 +08:00
2026-08-11 16:37:29 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 11:33:14 +08:00
2026-08-08 15:03:23 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 11:33:14 +08:00
2026-08-08 22:19:13 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 11:22:08 +08:00
2026-08-11 11:22:08 +08:00
2026-08-11 11:22:08 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 14:20:53 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 16:39:34 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 16:39:34 +08:00
2026-08-09 16:39:34 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 16:39:34 +08:00
2026-08-10 12:50:43 +08:00
2026-08-07 16:43:59 +08:00
2026-08-10 12:50:43 +08:00
2026-08-09 11:02:16 +08:00
2026-07-30 18:07:35 +08:00
2026-08-09 11:02:16 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-09 21:11:00 +08:00
2026-08-09 21:11:00 +08:00
2026-08-09 21:11:00 +08:00
2026-08-11 16:25:59 +08:00
2026-08-11 16:25:59 +08:00
2026-08-11 16:25:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 11:02:16 +08:00
2026-07-31 22:52:18 +08:00
2026-08-09 11:02:16 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-10 21:07:22 +08:00
2026-08-10 21:07:22 +08:00
2026-08-10 21:07:22 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-10 16:34:20 +08:00
2026-08-10 16:34:20 +08:00
2026-08-10 16:34:20 +08:00
2026-08-09 11:02:16 +08:00
2026-08-09 01:25:24 +08:00
2026-08-09 11:02:16 +08:00
2026-08-10 23:31:21 +08:00
2026-08-10 23:31:21 +08:00
2026-08-10 23:31:21 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 11:33:14 +08:00
2026-08-06 10:40:32 +08:00
2026-08-09 11:33:14 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 17:26:57 +08:00
2026-08-09 11:33:14 +08:00
2026-08-06 11:28:46 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 11:33:14 +08:00
2026-08-06 13:44:23 +08:00
2026-08-09 11:33:14 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 21:10:59 +08:00
2026-08-09 11:33:14 +08:00
2026-08-06 14:58:33 +08:00
2026-08-09 11:33:14 +08:00
2026-08-09 11:02:16 +08:00
2026-08-06 16:38:25 +08:00
2026-08-09 11:02:16 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 14:20:53 +08:00
2026-08-11 14:20:53 +08:00
2026-08-09 16:39:34 +08:00
2026-08-09 15:35:02 +08:00
2026-08-09 16:39:34 +08:00
2026-08-09 18:16:44 +08:00
2026-08-09 18:16:44 +08:00
2026-08-09 18:16:44 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-10 15:27:10 +08:00
2026-08-11 03:29:04 +08:00
2026-08-11 03:29:04 +08:00
2026-08-11 03:29:04 +08:00
2026-08-09 10:29:13 +08:00
2026-08-09 10:29:13 +08:00
2026-08-09 10:29:13 +08:00
2026-08-10 23:45:05 +08:00
2026-08-10 23:45:05 +08:00
2026-08-10 23:45:05 +08:00
2026-08-10 18:02:11 +08:00
2026-08-10 18:02:11 +08:00
2026-08-10 18:02:11 +08:00
2026-08-11 11:50:39 +08:00
2026-08-11 11:50:39 +08:00
2026-08-11 11:50:39 +08:00
2026-08-10 22:36:06 +08:00
2026-08-10 22:36:06 +08:00
2026-08-10 22:36:06 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-11 15:23:05 +08:00
2026-08-10 16:57:56 +08:00
2026-08-10 16:57:56 +08:00
2026-08-10 16:57:56 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 19:25:41 +08:00
2026-08-11 11:23:48 +08:00
2026-08-11 11:23:48 +08:00
2026-08-11 11:23:48 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 18:01:25 +08:00
2026-08-11 03:29:04 +08:00
2026-08-11 03:29:04 +08:00
2026-08-11 03:29:04 +08:00