Where clauses #13

asomers · 2019-08-02T21:14:58Z

Correctly handle where clauses on mocked methods.
Handle generic specializing methods
Document workaround for nongeneric specializing methods

It was already possible to mock a method with a where clause; the where clause would simply be omitted from generated code. But the code wouldn't compile if some part of the signature required it. For example, constructor methods that returned generic structs with where clauses on their generic parameters wouldn't work. Now they do. Fixes #5 Fixes #6

Merging Generics is required for specializing methods. Non-generic specializing methods aren't yet supported, but this commit is still needed for some generic specializing methods.

A specializing method is a non-generic method of a generic struct that places additional bounds on the struct's generic types via a where clause. Without trait specialization, it probably won't be possible for Mockall to support specializing methods. Instead, the method must be made generic, just like static methods of generic structs.

asomers added 5 commits August 2, 2019 15:16

Fix methods where the arguments are constrained by the where clause

067faf3

Rename some variables for consistency

1ed7f5c

Correctly handle bounds lists when merging Generics

0957def

Merging Generics is required for specializing methods. Non-generic specializing methods aren't yet supported, but this commit is still needed for some generic specializing methods.

asomers force-pushed the where_clauses branch from c1d92f4 to b5c88a1 Compare August 2, 2019 21:17

asomers merged commit 2196c56 into master Aug 2, 2019

asomers deleted the where_clauses branch August 27, 2020 03:05

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Where clauses #13

Where clauses #13

asomers commented Aug 2, 2019

Where clauses #13

Where clauses #13

Conversation

asomers commented Aug 2, 2019