mirrors/thiserror
1
0
Fork 0
mirror of https://github.com/dtolnay/thiserror.git synced 2025-04-04 21:37:57 +03:00
Code Issues Projects Releases Packages Wiki Activity

Generate trait bounds on associated types

Browse source
This commit is contained in:
David Tolnay 2025-01-08 11:41:16 -08:00
parent 136859154b
commit 6b3e1e50b2
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82
1 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
impl/src/generics.rs
View file

@ -25,13 +25,14 @@ impl<'a> ParamsInScope<'a> {
fn crawl(in_scope: &ParamsInScope, ty: &Type, found: &mut bool) { fn crawl(in_scope: &ParamsInScope, ty: &Type, found: &mut bool) {
if let Type::Path(ty) = ty { if let Type::Path(ty) = ty {
if ty.qself.is_none() { if let Some(qself) = &ty.qself {
if let Some(ident) = ty.path.get_ident() { crawl(in_scope, &qself.ty, found);
if in_scope.names.contains(ident) { } else {
let front = ty.path.segments.first().unwrap();
if front.arguments.is_none() && in_scope.names.contains(&front.ident) {
*found = true; *found = true;
} }
} }
}
for segment in &ty.path.segments { for segment in &ty.path.segments {
if let PathArguments::AngleBracketed(arguments) = &segment.arguments { if let PathArguments::AngleBracketed(arguments) = &segment.arguments {
for arg in &arguments.args { for arg in &arguments.args {