syntax_data: {"ast_node_type":"variable","tokens":[{"end":62,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:     let ty::Dynamic(source_data, _, _) = *source.kind() else {
context_before:     // Given that we have a target principal, it is a bug for there not to be a source principal.
context_after:         bug!();