diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2021-06-18 16:30:33 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2021-06-27 23:18:02 +0100 |
| commit | b81ef441b896d734489bb434014dc028e45a3f90 (patch) | |
| tree | bce59642f81ae97953ebef7dca6837051443ccf3 /gcc/tree-dump.c | |
| parent | 99bc27d278359be9aec5597504807a6456a88a6c (diff) | |
| download | gcc-b81ef441b896d734489bb434014dc028e45a3f90.zip gcc-b81ef441b896d734489bb434014dc028e45a3f90.tar.gz gcc-b81ef441b896d734489bb434014dc028e45a3f90.tar.bz2 | |
Initial Trait Obligations to enforce trait-impl-items are part of the trait
When we create an impl for a trait each item must be part of the trait,
these are the obligations of the trait. This means we know this type
definetly implements the trait.
This only supports functions so far. Methods, constants and associated
types are still in progress. This is an isolated building block that can
be merged without any regression so far.
Addresses #440
Diffstat (limited to 'gcc/tree-dump.c')
0 files changed, 0 insertions, 0 deletions