{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"if"}]}
            if self.target_triple.is_empty() {
        if self.host_triple != self.target_triple {
                return Err("Unknown non-native platform".to_string());