| David Tolnay | fedc63b | 2021-03-27 00:19:13 -0400 | [diff] [blame] | 1 | use crate::syntax::instantiate::NamedImplKey; |
| David Tolnay | 1e5fe23 | 2021-01-01 18:11:40 -0800 | [diff] [blame] | 2 | use crate::syntax::{Lifetimes, NamedType, Pair, Types}; |
| David Tolnay | 3abed47 | 2020-12-31 23:34:53 -0800 | [diff] [blame] | 3 | use proc_macro2::Ident; |
| 4 | |
| David Tolnay | 1e5fe23 | 2021-01-01 18:11:40 -0800 | [diff] [blame] | 5 | #[derive(Copy, Clone)] |
| 6 | pub struct Resolution<'a> { |
| 7 | pub name: &'a Pair, |
| 8 | pub generics: &'a Lifetimes, |
| 9 | } |
| 10 | |
| David Tolnay | 3abed47 | 2020-12-31 23:34:53 -0800 | [diff] [blame] | 11 | impl<'a> Types<'a> { |
| David Tolnay | 1e5fe23 | 2021-01-01 18:11:40 -0800 | [diff] [blame] | 12 | pub fn resolve(&self, ident: &impl UnresolvedName) -> Resolution<'a> { |
| David Tolnay | 5f5602c | 2021-03-28 03:58:06 -0400 | [diff] [blame] | 13 | let ident = ident.ident(); |
| 14 | match self.resolutions.get(ident) { |
| 15 | Some(resolution) => *resolution, |
| 16 | None => panic!("Unable to resolve type `{}`", ident), |
| 17 | } |
| David Tolnay | 3abed47 | 2020-12-31 23:34:53 -0800 | [diff] [blame] | 18 | } |
| 19 | } |
| 20 | |
| 21 | pub trait UnresolvedName { |
| 22 | fn ident(&self) -> &Ident; |
| 23 | } |
| 24 | |
| 25 | impl UnresolvedName for Ident { |
| 26 | fn ident(&self) -> &Ident { |
| 27 | self |
| 28 | } |
| 29 | } |
| 30 | |
| 31 | impl UnresolvedName for NamedType { |
| 32 | fn ident(&self) -> &Ident { |
| 33 | &self.rust |
| 34 | } |
| 35 | } |
| David Tolnay | fedc63b | 2021-03-27 00:19:13 -0400 | [diff] [blame] | 36 | |
| 37 | impl<'a> UnresolvedName for NamedImplKey<'a> { |
| 38 | fn ident(&self) -> &Ident { |
| 39 | self.rust |
| 40 | } |
| 41 | } |