diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2020-11-21 15:47:14 -0500 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2021-08-20 17:27:50 -0400 |
| commit | faf84263f2acd638801069beea0d4b9dd662c111 (patch) | |
| tree | a741cbec1b5d8b91f868880d677e582e3c2ac4d8 /library/std/src/sys/unix/stack_overflow.rs | |
| parent | 020655b90da83b0a037a9d3c987be17f04eedbc4 (diff) | |
| download | rust-faf84263f2acd638801069beea0d4b9dd662c111.tar.gz rust-faf84263f2acd638801069beea0d4b9dd662c111.zip | |
create `Coercion` obligations given 2 unbound type variables
Motivation: in upcoming commits, we are going to create a graph of the coercion relationships between variables. We want to distinguish *coercion* specifically from other sorts of subtyping, as it indicates values flowing from one place to another via assignment.
Diffstat (limited to 'library/std/src/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions