macro engine ignores the shape of types parameterizing weak type tags

[scabug]

https://groups.google.com/forum/#!topic/scala-user/znIuFj1Dr_4

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-8919?orig=1
Reporter: @xeno-by
Affected Versions: 2.10.4, 2.11.2