マクロの方に我々としては多くの信頼を置いている。マクロのみが含まれる予定だ。マクロも予定の中に入るかもしれないけども、今のところは何とも言えない。振る舞いを変えられることにすることで標準化への初手とする。実験的機能扱いのままだ。よって置き換えることで表現する。選ぶことを推奨していく方向となる。マクロと異なる扱いとなる。マクロの宣言された戻り値の型に、マクロ適用時に一貫性を持つように型引数やパス依存性を適用したものとなる。マクロを型プロバイダのための手段としての利用は無効となる。マクロの適用に未決定の型パラメータが残る場合、これらの型パラメータは普通のメソッドと同様に強制的に型推論が実行される。マクロから型推論に影響を与えることが不可能となり、関数従属性の具現化に使うことが無効となる。検索がそのマクロを選択するまでは展開は実行されない。マクロの入手可能性を動的に計算することが無効となる。マクロの適用がパターンマッチの抽出子として使われる場合、無条件でコンパイラエラーを発生するようにして、マクロで実装されたパターンマッチングのカスタマイズを無効となる。マクロ同様に動作する。ConductLicenseSocialGitHubTwitter。