-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Enable contracts for functions?
enhancementNew feature or requestNew feature or requestStatus: Open.Support static methods and object invariants?
enhancementNew feature or requestNew feature or requestStatus: Open.No side effects are allowed in
demands,invariants,ensuresrequirementAn assertion or property that must be fulfilledAn assertion or property that must be fulfilledStatus: Open.#191 In final-hill/decorator-contracts;Test contracts on async and generator features
enhancementNew feature or requestNew feature or requestStatus: Open.#188 In final-hill/decorator-contracts;- Status: Open.#157 In final-hill/decorator-contracts;
The parameter names and positions of an overridden method must match its ancestor's
feature/overrideThe override decoratorThe override decoratorrequirementAn assertion or property that must be fulfilledAn assertion or property that must be fulfilledStatus: Open.Contravariance of method arguments in the subtype.
feature/overrideThe override decoratorThe override decoratorrequirementAn assertion or property that must be fulfilledAn assertion or property that must be fulfilledStatus: Open.