Nadav Har'El
a7fa29bceb
cross-tree: fix header file self-sufficiency
...
Scylla's coding standard requires that each header is self-sufficient,
i.e., it includes whatever other headers it needs - so it can be included
without having to include any other header before it.
We have a test for this, "ninja dev-headers", but it isn't run very
frequently, and it turns out our code deviated from this requirement
in a few places. This patch fixes those places, and after it
"ninja dev-headers" succeeds again.
Fixes #10995
Signed-off-by: Nadav Har'El <nyh@scylladb.com >
Closes #10997
2022-07-08 12:59:14 +03:00
..
2022-04-28 14:12:24 +03:00
2022-06-03 07:26:29 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-05-07 13:04:16 +02:00
2022-02-24 19:44:29 +03:00
2022-07-08 12:59:14 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-06-21 20:08:01 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-05-11 14:46:30 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-03-10 07:03:49 +02:00
2022-05-13 07:11:58 +02:00
2022-03-25 16:19:26 +02:00
2022-05-11 14:46:30 +02:00
2022-05-25 09:27:04 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-06-12 20:05:28 +03:00
2022-01-18 12:15:18 +01:00
2022-03-25 16:19:26 +02:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-06-20 19:37:31 +03:00
2022-06-20 19:37:31 +03:00
2022-04-28 14:12:24 +03:00
2022-04-28 14:12:24 +03:00
2022-06-21 11:58:13 +03:00
2022-07-03 20:37:11 +03:00
2022-06-21 11:58:13 +03:00
2022-01-18 12:15:18 +01:00
2022-01-18 12:15:18 +01:00
2022-02-16 18:21:24 +02:00
2022-01-18 12:15:18 +01:00
2022-03-10 07:03:49 +02:00
2022-05-24 13:32:35 +03:00
2022-05-11 14:46:30 +02:00
2022-06-28 08:50:12 +03:00
2022-06-27 12:18:48 +03:00
2022-05-24 13:32:39 +03:00
2022-06-02 11:21:05 +03:00
2022-02-16 18:21:24 +02:00
2022-03-10 07:03:49 +02:00
2022-03-16 12:31:50 +03:00
2022-05-31 15:26:03 -03:00