@Test def void testVariableShadowsParamLinking() {
		'''
		class A {
			A m(A a) {
				A a = null;
				return a;
			}
		}
		'''.parse.classes.head.methods.head => [
			assertNoErrors
			// the local variable should shadow the param
			body.statements.head.assertSame(
				(returnStatement.expression as SJSymbolRef).symbol)
		]
	}

	def scope_SJSymbolRef_symbol(SJExpression context, EReference r) {
		context.eContainer.symbolsDefinedBefore(context)
	}
	
	def dispatch IScope symbolsDefinedBefore(EObject cont, EObject o) {
		cont.eContainer.symbolsDefinedBefore(o.eContainer)
	}
	
	def dispatch IScope symbolsDefinedBefore(SJMethod m, EObject o) {
		Scopes::scopeFor(m.params) // ends recursion
	}
	
	def dispatch IScope symbolsDefinedBefore(SJBlock b, EObject o) {
		Scopes::scopeFor(b.statements.variablesDeclaredBefore(o),
			// outer scope
			b.eContainer.symbolsDefinedBefore(o.eContainer))
	}
	
	def private variablesDeclaredBefore(List<SJStatement> list, EObject o) {
		list.subList(0,list.indexOf(o)).filter(SJVariableDeclaration)
	}

body.statements.head.assertSame((returnStatement.expression as SJSymbolRef).symbol)