bors 21e5b941e0 Auto merge of #108128 - clubby789:builtin-derived-attr, r=jackh726
Properly check for builtin derived code

Fixes #108122
2023-02-19 21:18:07 +00:00
..
2023-02-16 18:30:25 +01:00
2023-02-08 02:04:07 +00:00