Code

Yeet unnecessary param envs#119096

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:yeet-unnecessary-param-envscompiler-errors/rust:yeet-unnecessary-param-envsCopy head branch name to clipboard

Dec 20, 2023

Commits

Commits on Dec 19, 2023

• Do not evaluate in structurally_relate_tys

  compiler-errors

  committed
  e6d6b1d

  Copy full SHA for e6d6b1d

• Remove unnecessary param-env from lexical region resolution and fully structural relations

  compiler-errors

  committed
  009cd9c

  Copy full SHA for 009cd9c

• Remove param env from relation altogether

  compiler-errors

  committed
  a75d002

  Copy full SHA for a75d002