Make sure to check the arg type restrictions for the memoize.

[jwoertink]

Purpose

Fixes #1722

Description

A macro Arg uses the restriction method to check if it's a Nop.

Checklist

• - An issue already exists detailing the issue/or feature request that this PR fixes
• - All specs are formatted with crystal tool format spec src
• - Inline documentation has been added and/or updated
• - Lucky builds on docker with ./script/setup
• - All builds and specs pass on docker with ./script/test