diff options
| author | ouz-a <ouz.agz@gmail.com> | 2023-09-30 13:44:31 +0300 |
|---|---|---|
| committer | ouz-a <ouz.agz@gmail.com> | 2023-10-02 23:39:45 +0300 |
| commit | 6f0c5ee2d4c9ced0fa9d0e698b6a136cfdc51949 (patch) | |
| tree | 05afaa338500fa567cd03f17f45e5e77b483252a /src | |
| parent | cd7f47193182d1d557a83593bcff6afe0568fc53 (diff) | |
| download | rust-6f0c5ee2d4c9ced0fa9d0e698b6a136cfdc51949.tar.gz rust-6f0c5ee2d4c9ced0fa9d0e698b6a136cfdc51949.zip | |
change is_subtype to relate_types
Diffstat (limited to 'src')
| m--------- | src/tools/stable-mir-dev | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/tools/stable-mir-dev b/src/tools/stable-mir-dev new file mode 160000 +Subproject 9434648ba82a0519222677bcc3fdf8b4f1ac5ce |