変数のバインドについて

int a = 10;
char b = 20;
a = b; // aはbにバインドされるという。

void hoge(int a);
hoge(b); // aはbにバインドされるという。

イメージとしては代入される側が、渡された変数（の型）にバインドされるという。
型の紐づけができないケースはバインドできないという。