infer type from assignment *to* the thing #959